Skip to content

Issues: mortberg/cubicaltt

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

19 Open 42 Closed
19 Open 42 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

cubical.exe does not support {- -} comments
#104 opened Dec 29, 2018 by mwand
2
boundaries of nested splits
#102 opened Sep 9, 2018 by dlicata335
1
New lines when printing systems enhancement
#101 opened Sep 4, 2018 by guillaumebrunerie
3
Evaluation priority idea
#93 opened Jan 12, 2018 by PaulGustafson
Path completion in :l
#91 opened Nov 11, 2017 by nponeccop
Layout errors crash REPL
#90 opened Nov 11, 2017 by nponeccop
Allow opaque/transparent in the command line
#89 opened Nov 8, 2017 by guillaumebrunerie
Document opaque / transparent
#85 opened Oct 20, 2017 by joelburget
1
Bracket matching of \(x : A)
#84 opened Oct 19, 2017 by guillaumebrunerie
1
cubicaltt crashes when replacing an 'undefined' with a 'hole'.
#74 opened Aug 19, 2017 by xekoukou
"forwardHIT: neutral b" error in hit branch, but not master
#69 opened Jun 9, 2017 by PaulGustafson
1
Useless(?) hComp’s with empty systems when using higher inductive types
#67 opened Jun 8, 2017 by guillaumebrunerie
10
Nested splits and path constructors
#63 opened Jun 5, 2017 by IanOrton
2
Wired program type checked.
#51 opened Aug 31, 2016 by molikto
1
Add support for nested mutual blocks again enhancement
#48 opened Jul 29, 2016 by mortberg
6
Issue with HIT path constructors. bug
#47 opened Jul 27, 2016 by RafaelBocquet
3
Canonicity failure for Z from recursive path constructors bug
#35 opened Feb 29, 2016 by tomjack
6
Origin of type errors enhancement
#22 opened Oct 22, 2015 by abooij
1
Constructors as first-class citizen enhancement
#16 opened Oct 8, 2015 by abooij
2
ProTip! Updated in the last three days: updated:>2024-11-20.