Sha256: 1e651d04f9aa6495da5e4b35ec524511bd4db0fc5f282b9e33be41d32470cd7e
Contents?: true
Size: 1.39 KB
Versions: 106
Compression:
Stored size: 1.39 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 Rosalind [http://rosalind.info/problems/rna](http://rosalind.info/problems/rna) ## Submitting Incomplete Solutions It's possible to submit an incomplete solution so you can see how others have completed the exercise.
Version data entries
106 entries across 106 versions & 1 rubygems