├── .gitignore ├── Gemfile ├── Gemfile.lock ├── LICENSE ├── LICENSE.txt ├── README.md ├── _config.yml ├── _css └── main.scss ├── _data ├── lectures.yml └── menu.yml ├── _docker ├── .ipynb_checkpoints │ └── Untitled-checkpoint.ipynb ├── .ocamlinit └── dockerfile ├── _images ├── fabulous-sylvester.jpg ├── paradigms.png ├── snapshot.png ├── stand-and-deliver-crop.jpg ├── stand-and-deliver-fb.jpg └── stand-and-deliver.jpg ├── _includes ├── embedpdf.html ├── footer.html ├── head.html ├── header.html ├── image.html └── nav.html ├── _layouts ├── class.html ├── default.html ├── page.html └── post.html ├── _posts └── 2015-08-16-welcome-to-jekyll.md ├── _sass ├── _base.scss ├── _fancy-image.scss ├── _header.scss ├── _layout.scss ├── _mobile-header.scss └── _syntax-highlighting.scss ├── _tex ├── .gitignore ├── Makefile ├── fd_hdt_cs3100_f19.pdf ├── fd_hdt_cs3100_f19.tex └── twocolumn.sty ├── assets └── favicon.ico ├── assignments.md ├── assignments ├── assignment0.ipynb ├── assignment1.ipynb ├── assignment2.zip ├── assignment3.ipynb ├── assignment4.ipynb ├── assignment5.ipynb └── assignment6.ipynb ├── feed.xml ├── index.md ├── ipa.gemspec ├── lectures ├── SystemF │ └── systemf.ipynb ├── lambda │ ├── alpha.cmi │ ├── alpha.cmo │ ├── alpha.cmt │ ├── error.cmi │ ├── error.cmo │ ├── error.cmt │ ├── eval.cmi │ ├── eval.cmo │ ├── eval.cmt │ ├── lambda.cmi │ ├── lambda.cmo │ ├── lambda.cmt │ ├── lambda_lexer.cmi │ ├── lambda_lexer.cmo │ ├── lambda_lexer.cmt │ ├── lambda_parse.cmi │ ├── lambda_parse.cmo │ ├── lambda_parse.cmt │ ├── lambda_parser.cmi │ ├── lambda_parser.cmo │ ├── lambda_parser.cmt │ ├── lambda_parser.cmti │ ├── syntax.cmi │ ├── syntax.cmo │ └── syntax.cmt ├── lec1 │ ├── images │ │ ├── alan-perlis.jpg │ │ └── hello-different-languages.jpg │ ├── lec1.ipynb │ └── lec1.pdf ├── lec10 │ ├── init.ml │ ├── lec10.ipynb │ └── lec10.pdf ├── lec11 │ ├── lec11.ipynb │ └── lec11.pdf ├── lec12 │ ├── heap.drawio │ ├── heap.svg │ ├── lec12.ipynb │ └── lec12.pdf ├── lec13 │ ├── lec13.ipynb │ ├── lec13.pdf │ └── modules.png ├── lec14 │ ├── lec14.ipynb │ └── lec14.pdf ├── lec15 │ ├── lec15.ipynb │ └── lec15.pdf ├── lec16 │ ├── lec16.ipynb │ └── lec16.pdf ├── lec17 │ ├── lec17.ipynb │ └── lec17.pdf ├── lec18 │ ├── lec18.ipynb │ └── lec18.pdf ├── lec19 │ ├── lec19.ipynb │ └── lec19.pdf ├── lec2 │ ├── images │ │ ├── ocaml.png │ │ └── wut.jpg │ ├── lec2.ipynb │ └── lec2.pdf ├── lec20 │ ├── lec20.ipynb │ ├── lec20.pdf │ └── list.pl ├── lec21 │ ├── lec21.ipynb │ └── lec21.pdf ├── lec22 │ ├── lec22.ipynb │ ├── lec22.pdf │ ├── queue.pl │ └── stack.pl ├── lec23 │ ├── lec23.ipynb │ └── lec23.pdf ├── lec24 │ ├── lec24.ipynb │ └── lec24.pdf ├── lec25 │ ├── lec25.ipynb │ └── lec25.pdf ├── lec26 │ ├── lec26.ipynb │ └── lec26.pdf ├── lec27 │ ├── imdb_small.db │ ├── imdb_small.pl │ ├── lec27.ipynb │ └── lec27.pdf ├── lec28 │ ├── lec28.ipynb │ └── lec28.pdf ├── lec3 │ ├── drawings │ │ ├── val-expr-defn.drawio │ │ └── val-expr.drawio │ ├── images │ │ ├── val-expr-defn.svg │ │ └── val-expr.svg │ ├── lec3.ipynb │ └── lec3.pdf ├── lec4 │ ├── drawings │ │ ├── stack1.drawio │ │ └── stack2.drawio │ ├── images │ │ ├── stack1.svg │ │ └── stack2.svg │ ├── lec4.ipynb │ └── lec4.pdf ├── lec5 │ ├── images │ │ └── box.jpg │ ├── lec5.ipynb │ └── lec5.pdf ├── lec6 │ ├── lec6.ipynb │ └── lec6.pdf ├── lec7 │ ├── drawings │ │ ├── fold_right.drawio │ │ ├── list_shape.drawio │ │ └── sum_fold.drawio │ ├── images │ │ ├── fold_right.svg │ │ ├── list_shape.svg │ │ ├── map_reduce_new_yorker.png │ │ ├── star_trek.png │ │ └── sum_fold.svg │ ├── lec7.ipynb │ └── lec7.pdf ├── lec8 │ ├── images │ │ ├── church.jpg │ │ ├── godel.jpg │ │ └── turing.jpg │ ├── init.ml │ ├── lec8.ipynb │ └── lec8.pdf └── lec9 │ ├── images │ └── church_rosser.png │ ├── init.ml │ ├── lec9.ipynb │ └── lec9.pdf ├── resources.md ├── schedule.md └── sitemap.xml /.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | *.ipynb_checkpoints 3 | *.swp 4 | _site 5 | -------------------------------------------------------------------------------- /Gemfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/Gemfile -------------------------------------------------------------------------------- /Gemfile.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/Gemfile.lock -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/LICENSE -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/README.md -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_config.yml -------------------------------------------------------------------------------- /_css/main.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_css/main.scss -------------------------------------------------------------------------------- /_data/lectures.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_data/lectures.yml -------------------------------------------------------------------------------- /_data/menu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_data/menu.yml -------------------------------------------------------------------------------- /_docker/.ipynb_checkpoints/Untitled-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_docker/.ipynb_checkpoints/Untitled-checkpoint.ipynb -------------------------------------------------------------------------------- /_docker/.ocamlinit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_docker/.ocamlinit -------------------------------------------------------------------------------- /_docker/dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_docker/dockerfile -------------------------------------------------------------------------------- /_images/fabulous-sylvester.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_images/fabulous-sylvester.jpg -------------------------------------------------------------------------------- /_images/paradigms.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_images/paradigms.png -------------------------------------------------------------------------------- /_images/snapshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_images/snapshot.png -------------------------------------------------------------------------------- /_images/stand-and-deliver-crop.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_images/stand-and-deliver-crop.jpg -------------------------------------------------------------------------------- /_images/stand-and-deliver-fb.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_images/stand-and-deliver-fb.jpg -------------------------------------------------------------------------------- /_images/stand-and-deliver.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_images/stand-and-deliver.jpg -------------------------------------------------------------------------------- /_includes/embedpdf.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_includes/embedpdf.html -------------------------------------------------------------------------------- /_includes/footer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_includes/footer.html -------------------------------------------------------------------------------- /_includes/head.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_includes/head.html -------------------------------------------------------------------------------- /_includes/header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_includes/header.html -------------------------------------------------------------------------------- /_includes/image.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_includes/image.html -------------------------------------------------------------------------------- /_includes/nav.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_includes/nav.html -------------------------------------------------------------------------------- /_layouts/class.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_layouts/class.html -------------------------------------------------------------------------------- /_layouts/default.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_layouts/default.html -------------------------------------------------------------------------------- /_layouts/page.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_layouts/page.html -------------------------------------------------------------------------------- /_layouts/post.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_layouts/post.html -------------------------------------------------------------------------------- /_posts/2015-08-16-welcome-to-jekyll.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_posts/2015-08-16-welcome-to-jekyll.md -------------------------------------------------------------------------------- /_sass/_base.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_sass/_base.scss -------------------------------------------------------------------------------- /_sass/_fancy-image.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_sass/_fancy-image.scss -------------------------------------------------------------------------------- /_sass/_header.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_sass/_header.scss -------------------------------------------------------------------------------- /_sass/_layout.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_sass/_layout.scss -------------------------------------------------------------------------------- /_sass/_mobile-header.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_sass/_mobile-header.scss -------------------------------------------------------------------------------- /_sass/_syntax-highlighting.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_sass/_syntax-highlighting.scss -------------------------------------------------------------------------------- /_tex/.gitignore: -------------------------------------------------------------------------------- 1 | *.aux 2 | *.log 3 | -------------------------------------------------------------------------------- /_tex/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | pdflatex fd_hdt_cs3100_f19 3 | -------------------------------------------------------------------------------- /_tex/fd_hdt_cs3100_f19.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_tex/fd_hdt_cs3100_f19.pdf -------------------------------------------------------------------------------- /_tex/fd_hdt_cs3100_f19.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_tex/fd_hdt_cs3100_f19.tex -------------------------------------------------------------------------------- /_tex/twocolumn.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/_tex/twocolumn.sty -------------------------------------------------------------------------------- /assets/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/assets/favicon.ico -------------------------------------------------------------------------------- /assignments.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/assignments.md -------------------------------------------------------------------------------- /assignments/assignment0.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/assignments/assignment0.ipynb -------------------------------------------------------------------------------- /assignments/assignment1.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/assignments/assignment1.ipynb -------------------------------------------------------------------------------- /assignments/assignment2.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/assignments/assignment2.zip -------------------------------------------------------------------------------- /assignments/assignment3.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/assignments/assignment3.ipynb -------------------------------------------------------------------------------- /assignments/assignment4.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/assignments/assignment4.ipynb -------------------------------------------------------------------------------- /assignments/assignment5.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/assignments/assignment5.ipynb -------------------------------------------------------------------------------- /assignments/assignment6.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/assignments/assignment6.ipynb -------------------------------------------------------------------------------- /feed.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/feed.xml -------------------------------------------------------------------------------- /index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/index.md -------------------------------------------------------------------------------- /ipa.gemspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/ipa.gemspec -------------------------------------------------------------------------------- /lectures/SystemF/systemf.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/SystemF/systemf.ipynb -------------------------------------------------------------------------------- /lectures/lambda/alpha.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/alpha.cmi -------------------------------------------------------------------------------- /lectures/lambda/alpha.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/alpha.cmo -------------------------------------------------------------------------------- /lectures/lambda/alpha.cmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/alpha.cmt -------------------------------------------------------------------------------- /lectures/lambda/error.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/error.cmi -------------------------------------------------------------------------------- /lectures/lambda/error.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/error.cmo -------------------------------------------------------------------------------- /lectures/lambda/error.cmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/error.cmt -------------------------------------------------------------------------------- /lectures/lambda/eval.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/eval.cmi -------------------------------------------------------------------------------- /lectures/lambda/eval.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/eval.cmo -------------------------------------------------------------------------------- /lectures/lambda/eval.cmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/eval.cmt -------------------------------------------------------------------------------- /lectures/lambda/lambda.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda.cmi -------------------------------------------------------------------------------- /lectures/lambda/lambda.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda.cmo -------------------------------------------------------------------------------- /lectures/lambda/lambda.cmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda.cmt -------------------------------------------------------------------------------- /lectures/lambda/lambda_lexer.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda_lexer.cmi -------------------------------------------------------------------------------- /lectures/lambda/lambda_lexer.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda_lexer.cmo -------------------------------------------------------------------------------- /lectures/lambda/lambda_lexer.cmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda_lexer.cmt -------------------------------------------------------------------------------- /lectures/lambda/lambda_parse.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda_parse.cmi -------------------------------------------------------------------------------- /lectures/lambda/lambda_parse.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda_parse.cmo -------------------------------------------------------------------------------- /lectures/lambda/lambda_parse.cmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda_parse.cmt -------------------------------------------------------------------------------- /lectures/lambda/lambda_parser.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda_parser.cmi -------------------------------------------------------------------------------- /lectures/lambda/lambda_parser.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda_parser.cmo -------------------------------------------------------------------------------- /lectures/lambda/lambda_parser.cmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda_parser.cmt -------------------------------------------------------------------------------- /lectures/lambda/lambda_parser.cmti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/lambda_parser.cmti -------------------------------------------------------------------------------- /lectures/lambda/syntax.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/syntax.cmi -------------------------------------------------------------------------------- /lectures/lambda/syntax.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/syntax.cmo -------------------------------------------------------------------------------- /lectures/lambda/syntax.cmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lambda/syntax.cmt -------------------------------------------------------------------------------- /lectures/lec1/images/alan-perlis.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec1/images/alan-perlis.jpg -------------------------------------------------------------------------------- /lectures/lec1/images/hello-different-languages.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec1/images/hello-different-languages.jpg -------------------------------------------------------------------------------- /lectures/lec1/lec1.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec1/lec1.ipynb -------------------------------------------------------------------------------- /lectures/lec1/lec1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec1/lec1.pdf -------------------------------------------------------------------------------- /lectures/lec10/init.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec10/init.ml -------------------------------------------------------------------------------- /lectures/lec10/lec10.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec10/lec10.ipynb -------------------------------------------------------------------------------- /lectures/lec10/lec10.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec10/lec10.pdf -------------------------------------------------------------------------------- /lectures/lec11/lec11.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec11/lec11.ipynb -------------------------------------------------------------------------------- /lectures/lec11/lec11.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec11/lec11.pdf -------------------------------------------------------------------------------- /lectures/lec12/heap.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec12/heap.drawio -------------------------------------------------------------------------------- /lectures/lec12/heap.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec12/heap.svg -------------------------------------------------------------------------------- /lectures/lec12/lec12.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec12/lec12.ipynb -------------------------------------------------------------------------------- /lectures/lec12/lec12.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec12/lec12.pdf -------------------------------------------------------------------------------- /lectures/lec13/lec13.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec13/lec13.ipynb -------------------------------------------------------------------------------- /lectures/lec13/lec13.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec13/lec13.pdf -------------------------------------------------------------------------------- /lectures/lec13/modules.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec13/modules.png -------------------------------------------------------------------------------- /lectures/lec14/lec14.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec14/lec14.ipynb -------------------------------------------------------------------------------- /lectures/lec14/lec14.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec14/lec14.pdf -------------------------------------------------------------------------------- /lectures/lec15/lec15.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec15/lec15.ipynb -------------------------------------------------------------------------------- /lectures/lec15/lec15.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec15/lec15.pdf -------------------------------------------------------------------------------- /lectures/lec16/lec16.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec16/lec16.ipynb -------------------------------------------------------------------------------- /lectures/lec16/lec16.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec16/lec16.pdf -------------------------------------------------------------------------------- /lectures/lec17/lec17.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec17/lec17.ipynb -------------------------------------------------------------------------------- /lectures/lec17/lec17.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec17/lec17.pdf -------------------------------------------------------------------------------- /lectures/lec18/lec18.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec18/lec18.ipynb -------------------------------------------------------------------------------- /lectures/lec18/lec18.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec18/lec18.pdf -------------------------------------------------------------------------------- /lectures/lec19/lec19.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec19/lec19.ipynb -------------------------------------------------------------------------------- /lectures/lec19/lec19.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec19/lec19.pdf -------------------------------------------------------------------------------- /lectures/lec2/images/ocaml.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec2/images/ocaml.png -------------------------------------------------------------------------------- /lectures/lec2/images/wut.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec2/images/wut.jpg -------------------------------------------------------------------------------- /lectures/lec2/lec2.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec2/lec2.ipynb -------------------------------------------------------------------------------- /lectures/lec2/lec2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec2/lec2.pdf -------------------------------------------------------------------------------- /lectures/lec20/lec20.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec20/lec20.ipynb -------------------------------------------------------------------------------- /lectures/lec20/lec20.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec20/lec20.pdf -------------------------------------------------------------------------------- /lectures/lec20/list.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec20/list.pl -------------------------------------------------------------------------------- /lectures/lec21/lec21.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec21/lec21.ipynb -------------------------------------------------------------------------------- /lectures/lec21/lec21.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec21/lec21.pdf -------------------------------------------------------------------------------- /lectures/lec22/lec22.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec22/lec22.ipynb -------------------------------------------------------------------------------- /lectures/lec22/lec22.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec22/lec22.pdf -------------------------------------------------------------------------------- /lectures/lec22/queue.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec22/queue.pl -------------------------------------------------------------------------------- /lectures/lec22/stack.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec22/stack.pl -------------------------------------------------------------------------------- /lectures/lec23/lec23.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec23/lec23.ipynb -------------------------------------------------------------------------------- /lectures/lec23/lec23.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec23/lec23.pdf -------------------------------------------------------------------------------- /lectures/lec24/lec24.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec24/lec24.ipynb -------------------------------------------------------------------------------- /lectures/lec24/lec24.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec24/lec24.pdf -------------------------------------------------------------------------------- /lectures/lec25/lec25.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec25/lec25.ipynb -------------------------------------------------------------------------------- /lectures/lec25/lec25.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec25/lec25.pdf -------------------------------------------------------------------------------- /lectures/lec26/lec26.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec26/lec26.ipynb -------------------------------------------------------------------------------- /lectures/lec26/lec26.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec26/lec26.pdf -------------------------------------------------------------------------------- /lectures/lec27/imdb_small.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec27/imdb_small.db -------------------------------------------------------------------------------- /lectures/lec27/imdb_small.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec27/imdb_small.pl -------------------------------------------------------------------------------- /lectures/lec27/lec27.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec27/lec27.ipynb -------------------------------------------------------------------------------- /lectures/lec27/lec27.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec27/lec27.pdf -------------------------------------------------------------------------------- /lectures/lec28/lec28.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec28/lec28.ipynb -------------------------------------------------------------------------------- /lectures/lec28/lec28.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec28/lec28.pdf -------------------------------------------------------------------------------- /lectures/lec3/drawings/val-expr-defn.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec3/drawings/val-expr-defn.drawio -------------------------------------------------------------------------------- /lectures/lec3/drawings/val-expr.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec3/drawings/val-expr.drawio -------------------------------------------------------------------------------- /lectures/lec3/images/val-expr-defn.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec3/images/val-expr-defn.svg -------------------------------------------------------------------------------- /lectures/lec3/images/val-expr.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec3/images/val-expr.svg -------------------------------------------------------------------------------- /lectures/lec3/lec3.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec3/lec3.ipynb -------------------------------------------------------------------------------- /lectures/lec3/lec3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec3/lec3.pdf -------------------------------------------------------------------------------- /lectures/lec4/drawings/stack1.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec4/drawings/stack1.drawio -------------------------------------------------------------------------------- /lectures/lec4/drawings/stack2.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec4/drawings/stack2.drawio -------------------------------------------------------------------------------- /lectures/lec4/images/stack1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec4/images/stack1.svg -------------------------------------------------------------------------------- /lectures/lec4/images/stack2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec4/images/stack2.svg -------------------------------------------------------------------------------- /lectures/lec4/lec4.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec4/lec4.ipynb -------------------------------------------------------------------------------- /lectures/lec4/lec4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec4/lec4.pdf -------------------------------------------------------------------------------- /lectures/lec5/images/box.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec5/images/box.jpg -------------------------------------------------------------------------------- /lectures/lec5/lec5.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec5/lec5.ipynb -------------------------------------------------------------------------------- /lectures/lec5/lec5.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec5/lec5.pdf -------------------------------------------------------------------------------- /lectures/lec6/lec6.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec6/lec6.ipynb -------------------------------------------------------------------------------- /lectures/lec6/lec6.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec6/lec6.pdf -------------------------------------------------------------------------------- /lectures/lec7/drawings/fold_right.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec7/drawings/fold_right.drawio -------------------------------------------------------------------------------- /lectures/lec7/drawings/list_shape.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec7/drawings/list_shape.drawio -------------------------------------------------------------------------------- /lectures/lec7/drawings/sum_fold.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec7/drawings/sum_fold.drawio -------------------------------------------------------------------------------- /lectures/lec7/images/fold_right.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec7/images/fold_right.svg -------------------------------------------------------------------------------- /lectures/lec7/images/list_shape.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec7/images/list_shape.svg -------------------------------------------------------------------------------- /lectures/lec7/images/map_reduce_new_yorker.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec7/images/map_reduce_new_yorker.png -------------------------------------------------------------------------------- /lectures/lec7/images/star_trek.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec7/images/star_trek.png -------------------------------------------------------------------------------- /lectures/lec7/images/sum_fold.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec7/images/sum_fold.svg -------------------------------------------------------------------------------- /lectures/lec7/lec7.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec7/lec7.ipynb -------------------------------------------------------------------------------- /lectures/lec7/lec7.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec7/lec7.pdf -------------------------------------------------------------------------------- /lectures/lec8/images/church.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec8/images/church.jpg -------------------------------------------------------------------------------- /lectures/lec8/images/godel.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec8/images/godel.jpg -------------------------------------------------------------------------------- /lectures/lec8/images/turing.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec8/images/turing.jpg -------------------------------------------------------------------------------- /lectures/lec8/init.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec8/init.ml -------------------------------------------------------------------------------- /lectures/lec8/lec8.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec8/lec8.ipynb -------------------------------------------------------------------------------- /lectures/lec8/lec8.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec8/lec8.pdf -------------------------------------------------------------------------------- /lectures/lec9/images/church_rosser.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec9/images/church_rosser.png -------------------------------------------------------------------------------- /lectures/lec9/init.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec9/init.ml -------------------------------------------------------------------------------- /lectures/lec9/lec9.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec9/lec9.ipynb -------------------------------------------------------------------------------- /lectures/lec9/lec9.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/lectures/lec9/lec9.pdf -------------------------------------------------------------------------------- /resources.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/resources.md -------------------------------------------------------------------------------- /schedule.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/schedule.md -------------------------------------------------------------------------------- /sitemap.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs3100_f19/HEAD/sitemap.xml --------------------------------------------------------------------------------