├── LICENSE ├── PLAYGROUND ├── README.md └── mysession-bucs520-2018-01 │ ├── DATS │ └── basics.dats │ ├── SATS │ └── basics.sats │ └── TEST │ ├── test01 │ ├── Makefile │ ├── mybasis.dats │ ├── myclient.dats │ ├── myserver.dats │ └── package.json │ └── test02 │ ├── Makefile │ ├── mybasis.dats │ ├── myclient.dats │ ├── mygrader.dats │ ├── myserver.dats │ └── package.json ├── README.md └── RECIPE ├── BinarySearch ├── BinarySearch.dats ├── Makefile └── README.md ├── CSV-parsing ├── DATA │ └── NDX100.csv ├── Makefile ├── NDX100.dats ├── README.md ├── myread.dats └── package.json ├── CountingByHash └── CountingByHash.dats ├── GuessNumber ├── GuessNumber.dats ├── Makefile └── README.md ├── HX-intinf ├── HX-intinf.dats ├── Makefile ├── README.md └── package.json ├── Hangman ├── Hangman.dats ├── Makefile └── README.md ├── Hangman2 ├── Hangman2.dats ├── Hangman2_input.dats ├── Makefile ├── README.md └── package.json ├── Hangman3 ├── Hangman3_channel.dats ├── Hangman3_player0.dats ├── Hangman3_player1.dats ├── Makefile ├── README.md └── package.json ├── Hello ├── Hello.dats ├── Makefile └── README.md ├── Makefile_test ├── README.md ├── ReadFromSTDIN ├── Makefile ├── README.md └── ReadFromSTDIN.dats ├── ReadFromSTDIN2 ├── Makefile ├── README.md └── ReadFromSTDIN2.dats ├── ReadFromSTDIN3 ├── Makefile ├── README.md ├── ReadFromSTDIN3.dats └── package.json ├── Tokenizer ├── Makefile ├── README.md └── Tokenizer.dats └── WordFrqncyCount ├── Makefile ├── README.md ├── WordFrqncyCount.dats └── package.json /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/LICENSE -------------------------------------------------------------------------------- /PLAYGROUND/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/README.md -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/DATS/basics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/DATS/basics.dats -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/SATS/basics.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/SATS/basics.sats -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/TEST/test01/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/TEST/test01/Makefile -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/TEST/test01/mybasis.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/TEST/test01/mybasis.dats -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/TEST/test01/myclient.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/TEST/test01/myclient.dats -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/TEST/test01/myserver.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/TEST/test01/myserver.dats -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/TEST/test01/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/TEST/test01/package.json -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/TEST/test02/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/TEST/test02/Makefile -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/TEST/test02/mybasis.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/TEST/test02/mybasis.dats -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/TEST/test02/myclient.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/TEST/test02/myclient.dats -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/TEST/test02/mygrader.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/TEST/test02/mygrader.dats -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/TEST/test02/myserver.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/TEST/test02/myserver.dats -------------------------------------------------------------------------------- /PLAYGROUND/mysession-bucs520-2018-01/TEST/test02/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/PLAYGROUND/mysession-bucs520-2018-01/TEST/test02/package.json -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/README.md -------------------------------------------------------------------------------- /RECIPE/BinarySearch/BinarySearch.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/BinarySearch/BinarySearch.dats -------------------------------------------------------------------------------- /RECIPE/BinarySearch/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/BinarySearch/Makefile -------------------------------------------------------------------------------- /RECIPE/BinarySearch/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/BinarySearch/README.md -------------------------------------------------------------------------------- /RECIPE/CSV-parsing/DATA/NDX100.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/CSV-parsing/DATA/NDX100.csv -------------------------------------------------------------------------------- /RECIPE/CSV-parsing/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/CSV-parsing/Makefile -------------------------------------------------------------------------------- /RECIPE/CSV-parsing/NDX100.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/CSV-parsing/NDX100.dats -------------------------------------------------------------------------------- /RECIPE/CSV-parsing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/CSV-parsing/README.md -------------------------------------------------------------------------------- /RECIPE/CSV-parsing/myread.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/CSV-parsing/myread.dats -------------------------------------------------------------------------------- /RECIPE/CSV-parsing/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/CSV-parsing/package.json -------------------------------------------------------------------------------- /RECIPE/CountingByHash/CountingByHash.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/CountingByHash/CountingByHash.dats -------------------------------------------------------------------------------- /RECIPE/GuessNumber/GuessNumber.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/GuessNumber/GuessNumber.dats -------------------------------------------------------------------------------- /RECIPE/GuessNumber/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/GuessNumber/Makefile -------------------------------------------------------------------------------- /RECIPE/GuessNumber/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/GuessNumber/README.md -------------------------------------------------------------------------------- /RECIPE/HX-intinf/HX-intinf.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/HX-intinf/HX-intinf.dats -------------------------------------------------------------------------------- /RECIPE/HX-intinf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/HX-intinf/Makefile -------------------------------------------------------------------------------- /RECIPE/HX-intinf/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/HX-intinf/README.md -------------------------------------------------------------------------------- /RECIPE/HX-intinf/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/HX-intinf/package.json -------------------------------------------------------------------------------- /RECIPE/Hangman/Hangman.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman/Hangman.dats -------------------------------------------------------------------------------- /RECIPE/Hangman/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman/Makefile -------------------------------------------------------------------------------- /RECIPE/Hangman/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman/README.md -------------------------------------------------------------------------------- /RECIPE/Hangman2/Hangman2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman2/Hangman2.dats -------------------------------------------------------------------------------- /RECIPE/Hangman2/Hangman2_input.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman2/Hangman2_input.dats -------------------------------------------------------------------------------- /RECIPE/Hangman2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman2/Makefile -------------------------------------------------------------------------------- /RECIPE/Hangman2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman2/README.md -------------------------------------------------------------------------------- /RECIPE/Hangman2/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman2/package.json -------------------------------------------------------------------------------- /RECIPE/Hangman3/Hangman3_channel.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman3/Hangman3_channel.dats -------------------------------------------------------------------------------- /RECIPE/Hangman3/Hangman3_player0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman3/Hangman3_player0.dats -------------------------------------------------------------------------------- /RECIPE/Hangman3/Hangman3_player1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman3/Hangman3_player1.dats -------------------------------------------------------------------------------- /RECIPE/Hangman3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman3/Makefile -------------------------------------------------------------------------------- /RECIPE/Hangman3/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman3/README.md -------------------------------------------------------------------------------- /RECIPE/Hangman3/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hangman3/package.json -------------------------------------------------------------------------------- /RECIPE/Hello/Hello.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hello/Hello.dats -------------------------------------------------------------------------------- /RECIPE/Hello/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hello/Makefile -------------------------------------------------------------------------------- /RECIPE/Hello/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Hello/README.md -------------------------------------------------------------------------------- /RECIPE/Makefile_test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Makefile_test -------------------------------------------------------------------------------- /RECIPE/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/README.md -------------------------------------------------------------------------------- /RECIPE/ReadFromSTDIN/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/ReadFromSTDIN/Makefile -------------------------------------------------------------------------------- /RECIPE/ReadFromSTDIN/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/ReadFromSTDIN/README.md -------------------------------------------------------------------------------- /RECIPE/ReadFromSTDIN/ReadFromSTDIN.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/ReadFromSTDIN/ReadFromSTDIN.dats -------------------------------------------------------------------------------- /RECIPE/ReadFromSTDIN2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/ReadFromSTDIN2/Makefile -------------------------------------------------------------------------------- /RECIPE/ReadFromSTDIN2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/ReadFromSTDIN2/README.md -------------------------------------------------------------------------------- /RECIPE/ReadFromSTDIN2/ReadFromSTDIN2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/ReadFromSTDIN2/ReadFromSTDIN2.dats -------------------------------------------------------------------------------- /RECIPE/ReadFromSTDIN3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/ReadFromSTDIN3/Makefile -------------------------------------------------------------------------------- /RECIPE/ReadFromSTDIN3/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/ReadFromSTDIN3/README.md -------------------------------------------------------------------------------- /RECIPE/ReadFromSTDIN3/ReadFromSTDIN3.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/ReadFromSTDIN3/ReadFromSTDIN3.dats -------------------------------------------------------------------------------- /RECIPE/ReadFromSTDIN3/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/ReadFromSTDIN3/package.json -------------------------------------------------------------------------------- /RECIPE/Tokenizer/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Tokenizer/Makefile -------------------------------------------------------------------------------- /RECIPE/Tokenizer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Tokenizer/README.md -------------------------------------------------------------------------------- /RECIPE/Tokenizer/Tokenizer.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/Tokenizer/Tokenizer.dats -------------------------------------------------------------------------------- /RECIPE/WordFrqncyCount/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/WordFrqncyCount/Makefile -------------------------------------------------------------------------------- /RECIPE/WordFrqncyCount/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/WordFrqncyCount/README.md -------------------------------------------------------------------------------- /RECIPE/WordFrqncyCount/WordFrqncyCount.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/WordFrqncyCount/WordFrqncyCount.dats -------------------------------------------------------------------------------- /RECIPE/WordFrqncyCount/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ats-lang/ATS-CodeBook/HEAD/RECIPE/WordFrqncyCount/package.json --------------------------------------------------------------------------------