https://github.com/dlicata335/hott-agda
Revision 540a85b4010a700a561ff7fbfd88a4026f37bd8c authored by emblack on 19 February 2017, 20:25:39 UTC, committed by emblack on 19 February 2017, 20:25:39 UTC
1 parent 952a5a3
History
Tip revision: 540a85b4010a700a561ff7fbfd88a4026f37bd8c authored by emblack on 19 February 2017, 20:25:39 UTC
added some functions in signatures necessary for the proper def of treedecomp
Tip revision: 540a85b

README

back to top