programming-in-idris. Following Idris tutorial, also playing around.

github.com/adelbertc/programming-in-idris
by @adelbertc

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.