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
2025-10-29 17:50:22 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
71132d48ffaf88553c08b4d7c3a3c13cdc8e6087
linguist
/
samples
/
ATS
History
Brandon
877ee775a3
adding more varied examples, including an .atxt file
2014-01-25 17:55:28 -05:00
..
CoYonedaLemma.dats
adding more varied examples, including an .atxt file
2014-01-25 17:55:28 -05:00
DiningPhil2_fork.dats
adding more varied examples, including an .atxt file
2014-01-25 17:55:28 -05:00
DiningPhil2_thread.dats
adding more varied examples, including an .atxt file
2014-01-25 17:55:28 -05:00
DiningPhil2.dats
adding more varied examples, including an .atxt file
2014-01-25 17:55:28 -05:00
DiningPhil2.sats
adding more varied examples, including an .atxt file
2014-01-25 17:55:28 -05:00
linset_listord.dats
…
linset_listord.sats
…
linset.hats
…
main.atxt
adding more varied examples, including an .atxt file
2014-01-25 17:55:28 -05:00
YonedaLemma.dats
adding more varied examples, including an .atxt file
2014-01-25 17:55:28 -05:00
