i-am-tom / LICK

Idris-written, correct-by-construction, simply-typed lambda calculus.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

i-am-tom/LICK Stargazers