This is a pre-release of Cedille 1.0, provided for purposes of
evaluating artifacts referenced in papers submitted fall 2017.

See INSTALL.txt for installation instructions.

See examples/induction-from-iota/ind.ced for the derivation
of natural-number induction based on declaring nats to be
intrinsically inductive.
