Frederik Hanghøj Iversen 86d3d7368e Use equality construction principle ... Also update submodules		2018-01-30 22:41:18 +01:00
..
agda-stdlib@b5bfbc3c17	Use equality construction principle	2018-01-30 22:41:18 +01:00
cubical@1d6730c499	Use equality construction principle	2018-01-30 22:41:18 +01:00