issues
search
simhu
/
cubical
Implementation of Univalence in Cubical Sets
MIT License
145
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
The circle is contractible
#9
tomjack
closed
9 years ago
2
Update README.md
#8
evelynmitchell
closed
10 years ago
0
Remove duplicate keyword `data` in `cubical.el`
#7
pthariensflame
closed
10 years ago
0
Report type errors for definitions
#6
Saizan
closed
10 years ago
0
Readme still refers to TypeChecker.hs as MTT.hs
#5
tpsinnem
closed
10 years ago
1
Add dist/ and Exp/ to .gitignore
#4
jonsterling
closed
10 years ago
0
Remove outdated modules from cubical.cabal
#3
jonsterling
closed
10 years ago
0
Interval type
#2
spitters
closed
10 years ago
1
Trouble with reflexivity
#1
jonsterling
closed
10 years ago
5