projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Sun, 27 Dec 2015 08:59:19 +0000 (09:59 +0100) | ||
| committer | coquand <coquand@chalmers.se> | |
| Sun, 27 Dec 2015 08:59:19 +0000 (09:59 +0100) | ||
| commit | 74ebf46412a322712efc3658196ec2404faa663c | |
| tree | 23873a43f4ba72ee0ec5242421c778339d3d116b | tree | snapshot |
| parent | dbce133f74d9e67b0d67cddd3243a98e7d643879 | commit | diff |
| Eval.hs | diff | blob | blame | history |