Skip to content

i-am-tom/LICK

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages