Contents

Require Import Coq.Lists.List.

Definition to_rna: list DNA -> list RNA
  := map (fun x => match x with
                | dG => rC
                | dC => rG
                | dT => rA
                | dA => rU
                end).


(* TEST:
Import ListNotations.
Compute to_rna [dA ; dG].
*)

Version data entries

230 entries across 230 versions & 1 rubygems

Version	Path
trackler-2.2.1.119	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.118	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.117	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.116	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.115	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.114	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.113	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.111	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.110	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.109	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.108	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.107	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.106	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.105	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.104	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.103	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.102	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.101	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.100	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.99	tracks/coq/exercises/rna-transcription/example.v