Rna Transcription in Coq
Given a DNA strand, return its RNA Complement Transcription.
exercism fetch coq 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:
For installation and learning resources, refer to the exercism help page.
Checking the solution (testing everything)
To see if your solution works you just need to compile every file.
There is no additional testing step needed as we can offload all testing to the type checker!
Feedback, Issues, Pull Requests
The 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!
Submitting Incomplete Solutions
It's possible to submit an incomplete solution so you can see how others have completed the exercise.