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

adding ATS and several sample files

2014-01-25 12:09:00 -05:00

linset_listord.sats

adding ATS and several sample files

2014-01-25 12:09:00 -05:00

linset.hats

adding ATS and several sample files

2014-01-25 12:09:00 -05:00

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