dtlc

dependently-typed lambda calculus toy
git clone git://git.rr3.xyz/dtlc
Log | Files | Refs | README | LICENSE

plicity.ml (69B)

      1 (* Implicit or explicit. *)
      2 
      3 type plicity = Im | Ex
      4 type t = plicity