zydeco-lang/zydeco

Issues

• Add a LICENSE

  #50 opened 9 months ago by maxsnew
  6

• LSP

  #48 opened 10 months ago by maxsnew
  2

• Stop disambiguating type parameters from term parameters by capitals

  #40 opened 10 months ago by LighghtEeloo
  2

• Error message with no line info

  #47 opened a year ago by maxsnew
  1

• Better Type Error Messages

  #42 opened 2 years ago by maxsnew
  4

• Module syntax

  #44 opened 2 years ago by LighghtEeloo
  1

• Enhance the REPL Interface

  #23 opened 2 years ago by maxsnew
  4

• Port Example Code from Fiddle

  #5 opened 2 years ago by maxsnew
  2

• Implementing for-all and exists types

  #38 opened 2 years ago by LighghtEeloo
  3

• Introduce name resolution phase

  #12 opened 2 years ago by ricky136973
  2

• Separating `std.zydeco` to a different path; package management

  #45 opened 2 years ago by LighghtEeloo
  0

• Multiple Files/Modules

  #6 opened 2 years ago by maxsnew
  9

• Pretty Printing

  #43 opened 2 years ago by maxsnew
  1

• Definitions can't refer to prior definitions

  #29 opened 2 years ago by maxsnew
  2

• Repl panic on non-zero exit

  #41 opened 2 years ago by maxsnew
  2

• Use `tailcall` crate to avoid stack overflow in type checker

  #37 opened 2 years ago by LighghtEeloo
  6

• Adopt lazy substitution during type checking via `Env`

  #39 opened 2 years ago by LighghtEeloo
  0

• Parameterized Types

  #31 opened 2 years ago by LighghtEeloo
  10

• Add recursion and mutual recursion

  #11 opened 2 years ago by LighghtEeloo
  9

• Lack of Scope/Kind Checking let rec annotations

  #28 opened 2 years ago by maxsnew
  2

• Type Checker doesn't Give Source Locations

  #20 opened 2 years ago by maxsnew
  2

• Error Messages should be in terms of Lines

  #19 opened 2 years ago by maxsnew
  3

• Bidirectional Type Checking

  #32 opened 2 years ago by maxsnew
  3

• Tutorial Material

  #33 opened 2 years ago by maxsnew
  3

• StdLib Can't use Builtins

  #27 opened 2 years ago by maxsnew
  6

• Implicit Thunk/Force or Bind/Ret

  #30 opened 2 years ago by maxsnew
  0

• Add support for I/O

  #4 opened 2 years ago by maxsnew
  3

• Add support for Strings

  #7 opened 2 years ago by maxsnew
  2

• Add Support for Numbers

  #1 opened 2 years ago by maxsnew
  2

• Automated Testing / CI

  #8 opened 2 years ago by maxsnew
  11

• Codata destructors/comatch Syntax

  #17 opened 2 years ago by maxsnew
  2

• Virtualize the Evaluator

  #24 opened 2 years ago by maxsnew
  1

• read_line doesn't work in the interpreter

  #22 opened 2 years ago by akaiDing
  3

• Print less debug information by default

  #21 opened 2 years ago by maxsnew
  2

• Comment Syntax

  #14 opened 2 years ago by maxsnew
  3

• Custom Lexer

  #15 opened 2 years ago by maxsnew
  2

• Looping Computation Not Typechecking

  #18 opened 2 years ago by maxsnew
  1

• Parse Error Using Thunk in a Destructor

  #16 opened 2 years ago by maxsnew
  6

• Delimited Continuations

  #10 opened 2 years ago by maxsnew
  1

• Better Command Line Interface

  #9 opened 2 years ago by maxsnew
  4

• Add data types

  #2 opened 2 years ago by maxsnew
  1

• Add codata types

  #3 opened 2 years ago by maxsnew
  2

• Error Reporting not Working

  #13 opened 2 years ago by maxsnew
  7