Commit graph

2 commits

Author SHA1 Message Date
Simon Cruanes
0461758bf9 cosmetic details on trees 2014-06-16 21:15:05 +02:00
Simon Cruanes
373e4e8502 example: lambda, that print reduction of random lambda-terms using PrintBox 2014-06-16 20:54:29 +02:00