0
I Use This!
Activity Not Available

Commits : Listings

Analyzed 5 months ago. based on code collected over 1 year ago.
Oct 29, 2021 — Oct 29, 2022
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Updating: minorly improving atslangweb More... over 10 years ago
Updating: repairing the code to make it work again. More... over 10 years ago
Updating: adding patscode_tryit.pl More... over 10 years ago
Updating: minor update More... over 10 years ago
Updating: improving download instructions More... over 10 years ago
Updating: handling memcpy for MACOS More... over 10 years ago
Updating: minorly improving. More... over 10 years ago
Updating: tidying up. More... over 10 years ago
Updating: fixing a typo More... over 10 years ago
Updating: improving atslangweb More... over 10 years ago
Updating: adding a missing file More... over 10 years ago
Updating atslangweb More... over 10 years ago
Updating: tidying prelude/ats_main_prelude.dats More... over 10 years ago
Improving ATS-boostrap-geizella More... over 10 years ago
Updating: fixing a minor glitch More... over 10 years ago
Renaming atsboot_main.dats -> ats_main_boot.dats More... over 10 years ago
Adding a missing file. More... over 10 years ago
Updating: improving ATS-bootstrap-geizella More... over 10 years ago
Updating: adding a missing file More... over 10 years ago
Updating: bootstrap-anairiats is based on ATS-0.2.10. More... over 10 years ago
Improving boostrapping of ATS-0.2.10 More... over 10 years ago
Preparing for the release of ATS-0.2.10 More... over 10 years ago
Updating: preparing for the release of ATS-0.2.10. More... over 10 years ago
Preparing for the release of ATS-0.2.10. More... over 10 years ago
Preparing for the release of ATS-0.2.10 More... over 10 years ago
Trying to commit ... More... over 10 years ago
Minorly updating. More... over 10 years ago
Updating: minorly cleaning up. More... almost 11 years ago
Updating: tidying up More... almost 11 years ago
Updating: tidying up some code involving tail-call opt. More... almost 11 years ago