Add rna-transcription exercise (#5)

Author: keiravillekode

config.json

@@ -38,6 +38,14 @@
         "prerequisites": [],
         "difficulty": 2
       },
+      {
+        "slug": "rna-transcription",
+        "name": "RNA Transcription",
+        "uuid": "a070940a-1e7b-4e41-898c-b5381ba63bde",
+        "practices": [],
+        "prerequisites": [],
+        "difficulty": 1
+      },
       {
         "slug": "hello-world",
         "name": "Hello World",

exercises/practice/darts/lake-manifest.json

@@ -0,0 +1,20 @@
+# Instructions
+
+Your task is to determine the RNA complement of a given DNA sequence.
+
+Both DNA and RNA strands are a sequence of nucleotides.
+
+The four nucleotides found in DNA are adenine (**A**), cytosine (**C**), guanine (**G**), and thymine (**T**).
+
+The four nucleotides found in RNA are adenine (**A**), cytosine (**C**), guanine (**G**), and uracil (**U**).
+
+Given a DNA strand, its transcribed RNA strand is formed by replacing each nucleotide with its complement:
+
+- `G` -> `C`
+- `C` -> `G`
+- `T` -> `A`
+- `A` -> `U`
+
+~~~~exercism/note
+If you want to look at how the inputs and outputs are structured, take a look at the examples in the test suite.
+~~~~

exercises/practice/hello-world/lake-manifest.json

@@ -0,0 +1,16 @@
+# Introduction
+
+You work for a bioengineering company that specializes in developing therapeutic solutions.
+
+Your team has just been given a new project to develop a targeted therapy for a rare type of cancer.
+
+~~~~exercism/note
+It's all very complicated, but the basic idea is that sometimes people's bodies produce too much of a given protein.
+That can cause all sorts of havoc.
+
+But if you can create a very specific molecule (called a micro-RNA), it can prevent the protein from being produced.
+
+This technique is called [RNA Interference][rnai].
+
+[rnai]: https://admin.acceleratingscience.com/ask-a-scientist/what-is-rnai/
+~~~~

exercises/practice/rna-transcription/.docs/instructions.md

@@ -0,0 +1,14 @@
+namespace RnaTranscription
+
+def complement (nucleotide : Char) : Char :=
+  match nucleotide with
+  | 'G' => 'C'
+  | 'C' => 'G'
+  | 'T' => 'A'
+  | 'A' => 'U'
+  | _ => nucleotide
+
+def toRna (dna : String) : String :=
+  String.map complement dna
+
+end RnaTranscription

exercises/practice/rna-transcription/.docs/introduction.md

@@ -0,0 +1,19 @@
+{
+  "authors": [
+    "keiravillekode"
+  ],
+  "files": {
+    "solution": [
+      "RnaTranscription.lean"
+    ],
+    "test": [
+      "RnaTranscriptionTest.lean"
+    ],
+    "example": [
+      ".meta/Example.lean"
+    ]
+  },
+  "blurb": "Given a DNA strand, return its RNA complement.",
+  "source": "Hyperphysics",
+  "source_url": "https://web.archive.org/web/20220408112140/http://hyperphysics.phy-astr.gsu.edu/hbase/Organic/transcription.html"
+}

exercises/practice/rna-transcription/.meta/Example.lean

@@ -0,0 +1,28 @@
+# This is an auto-generated file.
+#
+# Regenerating this file via `configlet sync` will:
+# - Recreate every `description` key/value pair
+# - Recreate every `reimplements` key/value pair, where they exist in problem-specifications
+# - Remove any `include = true` key/value pair (an omitted `include` key implies inclusion)
+# - Preserve any other key/value pair
+#
+# As user-added comments (using the # character) will be removed when this file
+# is regenerated, comments can be added via a `comment` key.
+
+[b4631f82-c98c-4a2f-90b3-c5c2b6c6f661]
+description = "Empty RNA sequence"
+
+[a9558a3c-318c-4240-9256-5d5ed47005a6]
+description = "RNA complement of cytosine is guanine"
+
+[6eedbb5c-12cb-4c8b-9f51-f8320b4dc2e7]
+description = "RNA complement of guanine is cytosine"
+
+[870bd3ec-8487-471d-8d9a-a25046488d3e]
+description = "RNA complement of thymine is adenine"
+
+[aade8964-02e1-4073-872f-42d3ffd74c5f]
+description = "RNA complement of adenine is uracil"
+
+[79ed2757-f018-4f47-a1d7-34a559392dbf]
+description = "RNA complement"

exercises/practice/rna-transcription/.meta/config.json

@@ -0,0 +1,6 @@
+namespace RnaTranscription
+
+def toRna (dna : String) : String :=
+  sorry
+
+end RnaTranscription

exercises/practice/rna-transcription/.meta/tests.toml

@@ -0,0 +1,22 @@
+import LeanTest
+import RnaTranscription
+
+open LeanTest
+
+def rnaTranscriptionTests : TestSuite :=
+  (TestSuite.empty "RnaTranscription")
+  |>.addTest "Empty RNA sequence" (do
+      return assertEqual "" (RnaTranscription.toRna ""))
+  |>.addTest "RNA complement of cytosine is guanine" (do
+      return assertEqual "G" (RnaTranscription.toRna "C"))
+  |>.addTest "RNA complement of guanine is cytosine" (do
+      return assertEqual "C" (RnaTranscription.toRna "G"))
+  |>.addTest "RNA complement of thymine is adenine" (do
+      return assertEqual "A" (RnaTranscription.toRna "T"))
+  |>.addTest "RNA complement of adenine is uracil" (do
+      return assertEqual "U" (RnaTranscription.toRna "A"))
+  |>.addTest "RNA complement" (do
+      return assertEqual "UGCACCAGAAUU" (RnaTranscription.toRna "ACGTGGTCTTAA"))
+
+def main : IO UInt32 := do
+  runTestSuitesWithExitCode [rnaTranscriptionTests]