Library examples




Require Import vector.

Require Import minski.

Require Import compilation.




Definition Sqrt := compile recursive.Sqrt.

Definition Add  := compile recursive.Add.

Definition Sub  := compile recursive.Sub.

Definition Eq   := compile recursive.Eq.