exercism fetch coq rna-transcription

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:

Getting Started

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.

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 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!


Hyperphysics 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.