projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Tue, 20 Jun 2017 15:58:25 +0000 (17:58 +0200) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Tue, 20 Jun 2017 15:58:25 +0000 (17:58 +0200) | ||
| commit | 3c024a91109657088eda0f858be639c8d40c451c | |
| tree | b9e18f11e5ebf229286248b749f9b0a3f651030c | tree | snapshot |
| parent | a4008bf9d7fa4d0bbb69a9cf8c9b768c735e07f0 | commit | diff |
| experiments/girard.ctt | [moved from examples/girard.ctt with 100% similarity] | blob | blame | history |