HigherOrderCO/Kind1

Issues

• WebAssembly

  #583 opened 2 months ago by flip111
  1

• Inconsistent arity error

  #582 opened 2 months ago by sw1sh
  1

• Create a project/package manager

  #573 opened 2 months ago by developedby
  0

• Inconsistency in type check messages

  #571 opened 2 months ago by SergioBonatto
  0

• Add an API for cursor on trees

  #559 opened 2 months ago by algebraic-dev
  0

• Rewrite

  #501 opened 2 months ago by aripiprazole
  0

• Remove old parser and stuff to use treesitter

  #550 opened 2 months ago by aripiprazole
  0

• Add type checker for erased Pi, App and Lam

  #548 opened 2 months ago by algebraic-dev
  0

• Improve error messages by removing things like implicit arguments

  #547 opened 2 months ago by algebraic-dev
  0

• "New Type" Optimization

  #546 opened 2 months ago by algebraic-dev
  0

• Improve parser error messages

  #538 opened 2 months ago by aripiprazole
  0

• Write a minimal type system to erase specifications

  #536 opened 2 months ago by aripiprazole
  0

• Implement an optimized graph

  #535 opened 2 months ago by aripiprazole
  0

• Prototype naive graph implementation

  #534 opened 2 months ago by aripiprazole
  0

• Bind desugar with the query system

  #533 opened 2 months ago by aripiprazole
  0

• Bind resolver with the query system

  #532 opened 2 months ago by aripiprazole
  0

• Bind parser and lexer with the query system

  #531 opened 2 months ago by aripiprazole
  0

• Cannot find definitions of List, Cons and Nil

  #528 opened 2 months ago by Arrow7000
  4

• Move Item from lexeme to a new file

  #517 opened 2 months ago by algebraic-dev
  0

• Add error token

  #513 opened 2 months ago by aripiprazole
  0

• Add error node

  #512 opened 2 months ago by aripiprazole
  0

• Add a TypeError type to the type checker that when evaluated generates a pretty error message (just like Haskell one)

  #511 opened 2 months ago by aripiprazole
  0

• Add a LINE and COL macros that are useful for generating error messages

  #510 opened 2 months ago by aripiprazole
  0

• Coverage checker + Absurd Pattern

  #509 opened 2 months ago by aripiprazole
  0

• Add query system base

  #508 opened 2 months ago by aripiprazole
  0

• Rewrite KDL backend

  #507 opened 2 months ago by aripiprazole
  0

• Rewrite HVM backend

  #506 opened 2 months ago by aripiprazole
  0

• Support recursive types on type system

  #505 opened 2 months ago by aripiprazole
  1

• Add code formatter demo

  #504 opened 2 months ago by aripiprazole
  0

• Rewrite parser

  #503 opened 2 months ago by aripiprazole
  0

• Add documentation to syntax nodes

  #502 opened 2 months ago by aripiprazole
  0

• Compiler crashes when using an undeclared alias

  #578 opened a year ago by developedby
  0

• Refactor file loading and name resolution module

  #576 opened a year ago by developedby
  0

• Update basic function names for Kindex update

  #572 opened a year ago by developedby
  1

• error[E0599]: no method named `as_ptr` found for struct `AtomicU64` in the current scope

  #557 opened a year ago by yurivict
  2

• Add flag to show immediate dependencies

  #567 opened a year ago by algebraic-dev
  0

• New panic hook for the language.

  #564 opened a year ago by algebraic-dev
  0

• Add flag to remove dependency errors

  #562 opened a year ago by algebraic-dev
  0

• Add slash on the end of identifiers as another type of "use"

  #560 opened a year ago by algebraic-dev
  0

• Add new type of error messages used for LLMs.

  #552 opened a year ago by algebraic-dev
  0

• LLM Support

  #539 opened a year ago by algebraic-dev
  1

• Bump cli version to 0.3.9

  #544 opened a year ago by algebraic-dev
  0

• Bump cli version to 0.3.8

  #542 opened a year ago by aripiprazole
  0

• Bump version to 0.1.2

  #540 opened a year ago by aripiprazole
  0

• Add abstract syntax tree

  #524 opened 2 years ago by aripiprazole
  0

• Add jetbrains ignore files

  #526 opened 2 years ago by aripiprazole
  0

• Getting errors when trying to run cargo install kind2

  #520 opened 2 years ago by Arrow7000
  2

• Remove next field from ReturnStmt and ReturnExprStmt

  #522 opened 2 years ago by aripiprazole
  0

• Improve parser code style

  #516 opened 2 years ago by algebraic-dev
  0

• Fix current code with the new syntax tree

  #515 opened 2 years ago by aripiprazole
  0