Idris-written, correct-by-construction, simply-typed lambda calculus.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool