githwxi ATS-Xanadu issues

githwxi / ATS-Xanadu

Bootstrapping ATS3

GNU General Public License v3.0

196 stars 14 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

hi, i could not compile ats2 on my arch linux

#31 Abhinavpatel00 opened 1 week ago
7
please add a guide on how to contribute

#30 abhinavpatel0 opened 5 months ago
1
Add Github Actions for Linux, Cygwin, Msys2, and Mac OSX

#29 sazl closed 2 years ago
0
Update cygwin cache if appveyor.yml changes

#28 sazl closed 2 years ago
0
Separate exn types

#27 okeuday opened 2 years ago
2
Grammar definition

#26 mingodad opened 3 years ago
2
make debug info optional

#25 sparverius closed 4 years ago
2
Optional debug

#24 sparverius closed 4 years ago
1
fix: typedef for long doubles

#23 Istvan91 closed 4 years ago
1
Synread

#22 sparverius opened 4 years ago
3
xjsonize

#21 sparverius opened 4 years ago
2
Jsonize

#20 sparverius closed 4 years ago
0
wrap lists of terms with square brackets for tree output.

#19 sparverius closed 4 years ago
2
temporary support for xatsopt -d/-s [filename]

#18 sparverius closed 5 years ago
4
Minor change

#17 sparverius closed 5 years ago
0
Parsing error for block surrounded by curly braces

#16 sparverius closed 5 years ago
5
Parsing implementation declarations

#15 sparverius closed 5 years ago
2
Features worth having

#14 antoyo opened 5 years ago
4
adding missing parentheses

#13 sparverius closed 5 years ago
1
Nix: fix a typo.

#12 steinwaywhw closed 5 years ago
1
location of xatsopt

#11 bbarker closed 5 years ago
1
Nixify

#10 bbarker closed 5 years ago
1
Road map and how to contribute

#9 gallettilance closed 5 years ago
0
Adding contrib/galletti94 folder

#8 gallettilance closed 5 years ago
2
Fix Appveyor Test Path

#7 sazl closed 5 years ago
1
Release process

#6 ashalkhakov opened 6 years ago
2
add appveyor.yml

#5 sazl closed 6 years ago
1
Tests for [cblist].

#4 ashalkhakov closed 6 years ago
4
Why not talk about proofs at overview.txt?

#3 master-q opened 6 years ago
0
Why not talk about proof component at overview.txt?

#2 master-q closed 4 years ago
0
Setup CI

#1 ashalkhakov closed 6 years ago
6