githwxi/ATS-Xanadu

Issues

• Features worth having

  #14 opened 6 years ago by antoyo
  4

• please add a guide on how to contribute

  #30 opened 6 months ago by abhinavpatel0
  1

• Separate exn types

  #27 opened 2 years ago by okeuday
  2

• Grammar definition

  #26 opened 4 years ago by mingodad
  2

• make debug info optional

  #25 opened 4 years ago by sparverius
  2

• Why not talk about proof component at overview.txt?

  #2 opened 5 years ago by master-q
  0

• Parsing error for block surrounded by curly braces

  #16 opened 5 years ago by sparverius
  5

• Parsing implementation declarations

  #15 opened 5 years ago by sparverius
  2

• location of xatsopt

  #11 opened 6 years ago by bbarker
  1

• Road map and how to contribute

  #9 opened 6 years ago by gallettilance
  0

• Release process

  #6 opened 6 years ago by ashalkhakov
  2

• Setup CI

  #1 opened 6 years ago by ashalkhakov
  6

• Why not talk about proofs at overview.txt?

  #3 opened 6 years ago by master-q
  0