Commit Graph

1 Commits

Author SHA1 Message Date
Vincent Laporte
a931de00b3 lambda-term: update from 1.6 to 1.8 2015-01-28 12:03:25 +01:00