Permalink
Switch branches/tags
Nothing to show
Commits on Jul 27, 2012
  1. dependencies

    ekmett committed Jul 27, 2012
Commits on Jul 26, 2012
  1. switched to using 'lens'

    ekmett committed Jul 26, 2012
Commits on Jul 23, 2012
  1. plücker coordinates

    ekmett committed Jul 23, 2012
  2. honesty

    ekmett committed Jul 23, 2012
  3. getting bind for free

    ekmett committed Jul 23, 2012
  4. found a nice initial form of representability that I can use without …

    ekmett committed Jul 23, 2012
    …fundeps/mtpcs/type families
  5. matrix ops

    ekmett committed Jul 23, 2012
  6. ijk is now in Hamitonian

    ekmett committed Jul 23, 2012
  7. Traversable vectors

    ekmett committed Jul 23, 2012
  8. inlining

    ekmett committed Jul 23, 2012
  9. repository initialized

    ekmett committed Jul 23, 2012