Try Fun
Documentation
Coq Proofs
Repo
Try Fun in your browser!
Run (Cmd+Enter)
Examples
HOAS
Functor
KindPoly
Labeled Tree
Vector
Factorial
Mutual
Objects
Output