Skip to content

Issues: teikalang/teika

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.

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

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

Issues list

Teika LSP
#229 opened Dec 2, 2024 by EduardoRFS
Fixpoint equality
#208 opened Apr 7, 2024 by EduardoRFS
Teika MVP
#206 opened Feb 4, 2024 by EduardoRFS
Bind, hoist and parens
#205 opened Dec 28, 2023 by EduardoRFS
Many languages and syntax
#201 opened Dec 26, 2023 by EduardoRFS
Implement Language MVP
#199 opened Dec 26, 2023 by EduardoRFS
Design Language MVP
#198 opened Dec 26, 2023 by EduardoRFS
Design Calculus MVP
#197 opened Dec 26, 2023 by EduardoRFS
5 tasks
Commit on self types
#186 opened Nov 14, 2023 by EduardoRFS
Implement Smol MVP
#184 opened Nov 14, 2023 by EduardoRFS
Design Smol MVP
#183 opened Nov 14, 2023 by EduardoRFS
5 tasks
smol: add bool and nat examples
#181 opened Oct 5, 2023 by EduardoRFS
Studying users
#180 opened Sep 26, 2023 by EduardoRFS
Implement Jsend Prototype
#159 opened Aug 27, 2023 by EduardoRFS
Design Jsend Prototype
#158 opened Aug 27, 2023 by EduardoRFS
6 of 9 tasks
smol: add sigma example
#138 opened Jul 15, 2023 by EduardoRFS
smol: add closed optimizations
#137 opened Jul 15, 2023 by EduardoRFS
Add basics to README
#69 opened Nov 20, 2022 by jeffque
ProTip! Exclude everything labeled bug with -label:bug.