franklindyer/idris-math

My happy place for doing math with Idris.

This repository is not active