LICK icon indicating copy to clipboard operation
LICK copied to clipboard

Published 20 hours ago • verified publisher icon i-am-tom
→

Metadata

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

Results 0 LICK issues
Sort by recently updated
recently updated
newest added

← Metadata

39
Stars
1
Forks
Watchers

Owner

verified publisher icon i-am-tom

Metadata

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

Back