i-am-tom / LICKLinks

Idris-written, correct-by-construction, simply-typed lambda calculus.
39Updated 7 years ago

Alternatives and similar repositories for LICK

Users that are interested in LICK are comparing it to the libraries listed below

Sorting: