fredefox/cat
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Merge branch 'dev'

Browse source
This commit is contained in:
Frederik Hanghøj Iversen 2018-02-23 13:19:11 +01:00
parent 151d5c995b ee2b30d640
commit 82c89a78c2
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
libs/agda-stdlib

@ -1 +1 @@
Subproject commit 87d28d7d753f73abd20665d7bbb88f9d72ed88aa Subproject commit b9c8e02597751a1b15045cbc5108c221999bd540

2
libs/cubical

@ -1 +1 @@
Subproject commit 9bfbacbb30d4673332566f6e4a58fd04e3904106 Subproject commit 0d3f02e68297e940227137beac45fc1bce6e2bea