https://github.com/dlicata335/hott-agda
Name | Target | Message | Date |
---|---|---|---|
HEAD | dccc650 | 07 September 2017, 12:30:12 UTC | |
refs/heads/ericbranch | 102d422 | 05 May 2014, 17:25:41 UTC | |
refs/heads/homotopical-patch-theory-paper | e12dd67 | 24 July 2014, 14:24:44 UTC | |
refs/heads/master | dccc650 | 07 September 2017, 12:30:12 UTC | |
refs/heads/new-without-k | 26dea76 | 09 July 2014, 19:25:57 UTC |