Skip to content
Commits on Jan 20, 2016
  1. Cure bitrot

    committed
Commits on May 16, 2015
  1. Update for latest Idris

    committed
Commits on Feb 1, 2014
  1. Fix bitrot due to Idris changes

    committed
    Specifically: Vect ordering, O->Z and Show instances for Char/String
Commits on Dec 11, 2012
  1. Update Set to Type

    committed
Commits on Nov 25, 2012
  1. Add sources

    committed
Something went wrong with that request. Please try again.