Idris-old. A language with dependent types

github.com/edwinb/Idris-old

by

@edwinb

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.