yurrriq/the-power-of-pi

Implementations of ideas in The Power of Pi.

GitHub repository with 5 stars and 3 forks.

Language: Idris

Open provider repository