learn-idris-pub. Public data for https://learn-idris.net/

github.com/stepancheg/learn-idris-pub
by @stepancheg

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.