Permalink
Failed to load latest commit information.
Quantities Seperate Abs implementation from Neg for Measurement Apr 17, 2018
examples Capitalized all units. Nov 8, 2015
images add new cuyama image Dec 28, 2013
scripts add scripts for building and publishing IdrisDoc documentation Aug 31, 2014
.gitignore ignore cabal sandbox files Jul 20, 2014
.travis.yml Travis: use idris 1.2.0 Apr 17, 2018
CHANGELOG.md Updates for Idris 0.10 Jan 21, 2016
LICENSE working again! Sep 25, 2017
Quantities.idr Reexport SI units from main module Jan 16, 2015
README.md working again! Sep 25, 2017
quantities.ipkg Reexport SI units from main module Jan 16, 2015