projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Sat, 23 Jan 2016 17:51:36 +0000 (12:51 -0500) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Sat, 23 Jan 2016 17:51:36 +0000 (12:51 -0500) | ||
| commit | 30b6e14f5c9356dfa9bdc52d98d11d60710a2830 | |
| tree | 054efb91181db3650a0f75cd17d626a54c4017b0 | tree | snapshot |
| parent | 812203ec9302e67a2879aea1e2b491555a8566ce | commit | diff |
| Eval.hs | diff | blob | blame | history | |
| examples/bool.ctt | diff | blob | blame | history | |
| examples/hz.ctt | diff | blob | blame | history | |
| examples/setquot.ctt | diff | blob | blame | history | |
| examples/univalence.ctt | diff | blob | blame | history |