germax26/TheHoTTGame
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use latest cubical

Browse Source
This commit is contained in:
o1lo01ol1o 2022-01-12 10:43:48 +00:00
parent 6495198a15
commit 69b27911ad
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
TheHoTTGame.agda-lib
View File

@ -1,4 +1,4 @@
name: TheHoTTGame name: TheHoTTGame
include: . include: .
depend: cubical-0.3 depend: cubical
flags: --cubical --no-import-sorts flags: --cubical --no-import-sorts