Skip to content

Issues: Beluga-lang/McTT

Hidden Functional Extensionality
#161 opened Aug 28, 2024 by Ailrun
Open 6
Some leads on contra-variant subtyping
#129 opened Jun 28, 2024 by HuStmpHrrr
Open 4
Support propositional equality
#181 opened Sep 9, 2024 by HuStmpHrrr
Open 7
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

17 Open 68 Closed
17 Open 68 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

Why do we need this premise?
#273 opened Dec 16, 2024 by HuStmpHrrr
4
Include global definitions long term Something to think about in a long term
#269 opened Dec 7, 2024 by HuStmpHrrr
Remove explicit substitutions long term Something to think about in a long term
#268 opened Dec 7, 2024 by HuStmpHrrr
write down the frontend syntax in README
#258 opened Oct 26, 2024 by HuStmpHrrr
names do not allow numbers and underscore
#257 opened Oct 26, 2024 by HuStmpHrrr
1
Add a Contributing.md
#251 opened Oct 13, 2024 by HuStmpHrrr
1
Some optimization opportunity (repeated substatements)
#246 opened Oct 6, 2024 by Ailrun Maintainable, reusuable code base
Are we forced to check?
#202 opened Sep 15, 2024 by HuStmpHrrr
2
Support propositional equality
#181 opened Sep 9, 2024 by HuStmpHrrr
5 of 9 tasks
Support Propositional Equality Type
@HuStmpHrrr @Antoine-something
7
Lexer and parser adjustments
#180 opened Sep 9, 2024 by HuStmpHrrr Frontend
@Antoine-something
1
Possible extensions for more interesting impl
#174 opened Sep 6, 2024 by Ailrun Provide a richer type system
1
Provide a way to define top-level definitions
#173 opened Sep 6, 2024 by Ailrun Frontend
@Antoine-something
18
Hidden Functional Extensionality
#161 opened Aug 28, 2024 by Ailrun Maintainable, reusuable code base
6
Document the source code
#147 opened Jul 30, 2024 by HuStmpHrrr Improve Documentation
9
Some leads on contra-variant subtyping
#129 opened Jun 28, 2024 by HuStmpHrrr Provide a richer type system
4
Setup coq-dpdgraph to check unused (and possibly unnecessary) definitions/theorems/modules
#111 opened Jun 11, 2024 by Ailrun Maintainable, reusuable code base
Add documentation for CI
#109 opened Jun 11, 2024 by Ailrun Improve Documentation
@Ailrun
ProTip! Add no:assignee to see everything that’s not assigned.