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.159	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.158	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.157	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.156	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.155	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.154	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.153	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.152	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.151	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.150	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.149	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.148	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.147	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.146	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.145	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.144	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.143	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.142	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.141	tracks/coq/exercises/rna-transcription/example.v
trackler-2.2.1.140	tracks/coq/exercises/rna-transcription/example.v