Rare find

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

github.com/i-am-tom/LICK

by

@i-am-tom

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.