Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Dec 15, 2015

• make it pass the self-application test

  kourzanov

  committedDec 15, 2015
  57bca4c

• removed old substructural tests (see substructural.scm)

  kourzanov

  committedDec 15, 2015
  69b43d6

• typo

  kourzanov

  committedDec 15, 2015
  b7606b2

• added support for substructural logic

  kourzanov

  committedDec 15, 2015
  d7f3412

Commits on Sep 13, 2015

• update

  kourzanov

  committedSep 13, 2015
  4987172

• adding R6RS code

  kourzanov

  committedSep 13, 2015
  72b5578

• import

  kourzanov

  committedSep 13, 2015
  cd788a5

• Initial commit

  kourzanov

  committedSep 13, 2015
  953f1d7