ats-acc

ats-acc copied to clipboard

Would be nice if you could provide a license for all this, atm no one is technically allowed to do much with this (see https://choosealicense.com/no-permission/).

buffet

Also adds a missing case for printing of built-in sorts.

ashalkhakov

Also, note that on my Ubuntu box, "sh" in Makefile fails to run tests, so I replaced it with "bash". Not sure what's up with those line-endings, though.

ashalkhakov

I have the following code: ```ats // Part D: formulate and prove the associativity of or, namely // that (X || Y) || Z and X || (Y || Z)...

czhang03