This website requires JavaScript.
Explore
Help
Sign In
KevinMidboe
/
linguist
Watch
1
Star
0
Fork
0
You've already forked linguist
mirror of
https://github.com/KevinMidboe/linguist.git
synced
2026-01-24 18:25:32 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
a3c842ba180ac87bf8cc338190a4eb1b54048399
linguist
/
samples
/
ATS
History
…
..
CoYonedaLemma.dats
adding more varied examples, including an .atxt file
2014-01-25 17:55:28 -05:00
DiningPhil2_fork.dats
…
DiningPhil2_thread.dats
…
DiningPhil2.dats
…
DiningPhil2.sats
…
linset_listord.dats
adding ATS and several sample files
2014-01-25 12:09:00 -05:00
linset_listord.sats
…
linset.hats
…
main.atxt
…
YonedaLemma.dats
adding more varied examples, including an .atxt file
2014-01-25 17:55:28 -05:00