idris-power-of-pi. Parts of The Power of Pi, implemented in Idris

github.com/brendanzab/idris-power-of-pi
by @brendanzab

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.