Sha256: 0fbe68a24585e07fef8f4eba442747dc8e63ce56885a3022a396282f58ebe96a
Contents?: true
Size: 1.47 KB
Versions: 68
Compression:
Stored size: 1.47 KB
Contents
# RNA Transcription Given a DNA strand, return its RNA complement (per RNA transcription). 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` ## Getting Started For installation and learning resources, refer to the [exercism help page](http://exercism.io/languages/coq). ## Checking the solution (testing everything) To see if your solution works you just need to compile every file. ```bash coqc *.v ``` There is no additional testing step needed as we can offload all testing to the type checker! ## Feedback, Issues, Pull Requests The [exercism/coq](https://github.com/exercism/coq) repository on GitHub is the home for all of the Coq exercises. If you have feedback about an exercise, or want to help implementing a new one, head over there and create an issue. We'll do our best to help you! ## Source Hyperphysics [http://hyperphysics.phy-astr.gsu.edu/hbase/Organic/transcription.html](http://hyperphysics.phy-astr.gsu.edu/hbase/Organic/transcription.html) ## Submitting Incomplete Solutions It's possible to submit an incomplete solution so you can see how others have completed the exercise.
Version data entries
68 entries across 68 versions & 1 rubygems