Raw File
ordinals.agda-lib
name: ordinals
include: .
-- NOTE: assuming v0.2 version of cubical: `git checkout v0.2 -b v0.2`
depend: cubical , standard-library
back to top