Skip to content

Issues: HigherOrderCO/Kind1

Rewrite
#501 opened Mar 23, 2023 by aripiprazole
Open
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

49 Open 164 Closed
49 Open 164 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

WebAssembly
#583 opened Jan 17, 2024 by flip111
Inconsistent arity error
#582 opened Dec 8, 2023 by sw1sh
Create a project/package manager
#573 opened May 11, 2023 by developedby
1
Inconsistency in type check messages status: bug Something isn't working
#571 opened May 10, 2023 by SergioBonatto
Add an API for cursor on trees feature A new feature that should be added.
#559 opened May 8, 2023 by algebraic-sofia
@algebraic-sofia
Remove old parser and stuff to use treesitter
#550 opened Apr 14, 2023 by aripiprazole
Add type checker for erased Pi, App and Lam feature A new feature that should be added. scope: type_checker Type checker related issue
#548 opened Apr 4, 2023 by algebraic-sofia
Improve error messages by removing things like implicit arguments scope: developer experience Related to the user experience of the compiler
#547 opened Apr 4, 2023 by algebraic-sofia
1
"New Type" Optimization scope: optimization
#546 opened Apr 2, 2023 by algebraic-sofia
Improve parser error messages code: rewrite (Temporary) Kind rewrite scope: parsing Syntax related problem
#538 opened Mar 30, 2023 by aripiprazole
Write a minimal type system to erase specifications
#536 opened Mar 30, 2023 by aripiprazole
Implement an optimized graph code: rewrite (Temporary) Kind rewrite
#535 opened Mar 29, 2023 by aripiprazole
Prototype naive graph implementation code: rewrite (Temporary) Kind rewrite
#534 opened Mar 29, 2023 by aripiprazole
Bind desugar with the query system code: rewrite (Temporary) Kind rewrite
#533 opened Mar 29, 2023 by aripiprazole
Bind resolver with the query system code: rewrite (Temporary) Kind rewrite
#532 opened Mar 29, 2023 by aripiprazole
Bind parser and lexer with the query system code: rewrite (Temporary) Kind rewrite
#531 opened Mar 29, 2023 by aripiprazole
Cannot find definitions of List, Cons and Nil question Further information is requested
#528 opened Mar 29, 2023 by Arrow7000
3
Move Item from lexeme to a new file code: rewrite (Temporary) Kind rewrite
#517 opened Mar 23, 2023 by algebraic-sofia
Add error token code: rewrite (Temporary) Kind rewrite
#513 opened Mar 23, 2023 by aripiprazole
Add error node code: rewrite (Temporary) Kind rewrite
#512 opened Mar 23, 2023 by aripiprazole
Add a TypeError type to the type checker that when evaluated generates a pretty error message (just like Haskell one) code: rewrite (Temporary) Kind rewrite
#511 opened Mar 23, 2023 by aripiprazole
Add a LINE and COL macros that are useful for generating error messages code: rewrite (Temporary) Kind rewrite
#510 opened Mar 23, 2023 by aripiprazole
Coverage checker + Absurd Pattern code: rewrite (Temporary) Kind rewrite
#509 opened Mar 23, 2023 by aripiprazole
Add query system base code: rewrite (Temporary) Kind rewrite
#508 opened Mar 23, 2023 by aripiprazole
1
Rewrite KDL backend code: rewrite (Temporary) Kind rewrite
#507 opened Mar 23, 2023 by aripiprazole
ProTip! Mix and match filters to narrow down what you’re looking for.