githwxi / ATS-Xanadu

Bootstrapping ATS3

githwxi/ATS-Xanadu Issues

Features worth having
Updated 4 months ago4
please add a guide on how to contribute
Updated 4 months ago1
Separate exn types
Updated 2 years ago2
Grammar definition
Updated 3 years ago2
make debug info optional
Closed 4 years ago2
Why not talk about proof component at overview.txt?
Closed 5 years ago
Parsing error for block surrounded by curly braces
Closed 5 years ago5
Parsing implementation declarations
Closed 5 years ago2
location of xatsopt
Closed 6 years ago1
Road map and how to contribute
Closed 6 years ago
Release process
Updated 6 years ago2
Setup CI
Closed 6 years ago6
Why not talk about proofs at overview.txt?
Updated 6 years ago