Rare find

sound-and-complete. An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

github.com/evertedsphere/sound-and-complete
by @evertedsphere

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.