Rare find

sixty. Dependent type checker using normalisation by evaluation

github.com/ollef/sixty

by

@ollef

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.