Search results

hi, i could not compile ats2 on my arch linux

Status: Open.

#31 In githwxi/ATS-Xanadu;

· Abhinavpatel00 opened on Oct 24, 2024

please add a guide on how to contribute

Status: Open.

#30 In githwxi/ATS-Xanadu;

· abhinavpatel0 opened on May 18, 2024

Separate exn types

Status: Open.

#27 In githwxi/ATS-Xanadu;

· okeuday opened on Jun 12, 2022

Grammar definition

Status: Open.

#26 In githwxi/ATS-Xanadu;

· mingodad opened on May 13, 2021

Features worth having

Status: Open.

#14 In githwxi/ATS-Xanadu;

· antoyo opened on Mar 31, 2019

Release process

Status: Open.

#6 In githwxi/ATS-Xanadu;

· ashalkhakov opened on Nov 1, 2018

Why not talk about proofs at overview.txt?

Status: Open.

#3 In githwxi/ATS-Xanadu;

· master-q opened on Oct 21, 2018