Frederik Hanghøj Iversen 8f620e0dbe Update commit references		2018-02-21 13:43:26 +01:00
..
agda-stdlib@87d28d7d75	Update commit references	2018-02-21 13:43:26 +01:00
cubical@9bfbacbb30	Update commit references	2018-02-21 13:43:26 +01:00