Permalink
Switch branches/tags
Nothing to show
Commits on Jan 20, 2016
  1. Cure bitrot

    edwinb committed Jan 20, 2016
Commits on May 16, 2015
  1. Update for latest Idris

    edwinb committed May 16, 2015
Commits on Oct 18, 2014
Commits on Jul 15, 2014
Commits on Feb 17, 2014
  1. Fix proofs

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

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

    edwinb committed Dec 11, 2012
Commits on Nov 26, 2012
  1. Replace slow checkStack function

    edwinb committed Nov 26, 2012
Commits on Nov 25, 2012
  1. Add sources

    edwinb committed Nov 25, 2012
  2. First commit

    edwinb committed Nov 25, 2012