A simple arithmetic calculator written in Idris. - View it on GitHub