minidep. A small dependently typed language.

github.com/remexre/minidep
by @remexre

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.