idris-playground. Playing around with Idris

github.com/ndmitchell/idris-playground

by

@ndmitchell

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.