steshaw/idris-calc

A simple arithmetic calculator written in Idris.

GitHub repository with 5 stars and 0 forks.

Language: Idris

Open provider repository