projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Sat, 26 Dec 2015 19:22:53 +0000 (20:22 +0100) | ||
| committer | coquand <coquand@chalmers.se> | |
| Sat, 26 Dec 2015 19:22:53 +0000 (20:22 +0100) | ||
| commit | 0fa3409aabf1886ce87c1aefc51740d2535817bd | |
| tree | 1a34933d09ee03fe1cc0bc5a4fe62f5407cf0e88 | tree | snapshot |
| parent | 2627e6085f8304fcba3c4501e745d5ff51a546df | commit | diff |
| Eval.hs | diff | blob | blame | history | |
| examples/testContr.ctt | diff | blob | blame | history |