Commit graph

4 commits

Author SHA1 Message Date
Fardale
51a532ce59 examples: clean up 2020-01-27 13:55:50 -06:00
Simon Cruanes
f699f48586 moved containers.misc and containers.lwt into their own repo 2015-09-16 18:42:19 +02:00
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