├── README.md ├── file.mat ├── lambda-calculus ├── Makefile ├── README.md ├── cek-lambda.ml ├── cek.ml ├── cekaml.md ├── cekaml.ml ├── cekamltop.ml ├── lambda.ml ├── lexer.mll ├── parser.mly └── untyped-caml.ml ├── matrices-06-03.rb ├── matrices-06-04.rb ├── module-systems ├── README.md ├── modules.ml └── trees.ml ├── ocaml ├── .#dfapractice.ml ├── README.md ├── all_wrong.ml ├── binaryTrees.ml ├── conditionals.ml ├── dfapractice.ml ├── dfas.ml ├── ex2.ml ├── higherorder.ml ├── let.ml ├── list-intro.ml ├── pattern-matching.ml ├── polymorphic-types.ml ├── small.ml ├── type-annotation.ml ├── types.ml ├── typeslec.ml └── typeslec2.ml └── prolog ├── 01-basics.pl ├── 02-math.pl ├── 03-lists.pl ├── 04-hanoi.pl ├── 05-sort.pl ├── 06-backtrack.pl ├── README.md ├── cek.pl ├── cuts.pl ├── examples.pl ├── hanoi-text.c ├── hanoi.c ├── jedi.pl ├── p7.pl └── sort.pl /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/README.md -------------------------------------------------------------------------------- /file.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/file.mat -------------------------------------------------------------------------------- /lambda-calculus/Makefile: -------------------------------------------------------------------------------- 1 | main: 2 | ocamlbuild -use-menhir cekamltop.native 3 | -------------------------------------------------------------------------------- /lambda-calculus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/lambda-calculus/README.md -------------------------------------------------------------------------------- /lambda-calculus/cek-lambda.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/lambda-calculus/cek-lambda.ml -------------------------------------------------------------------------------- /lambda-calculus/cek.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/lambda-calculus/cek.ml -------------------------------------------------------------------------------- /lambda-calculus/cekaml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/lambda-calculus/cekaml.md -------------------------------------------------------------------------------- /lambda-calculus/cekaml.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/lambda-calculus/cekaml.ml -------------------------------------------------------------------------------- /lambda-calculus/cekamltop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/lambda-calculus/cekamltop.ml -------------------------------------------------------------------------------- /lambda-calculus/lambda.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/lambda-calculus/lambda.ml -------------------------------------------------------------------------------- /lambda-calculus/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/lambda-calculus/lexer.mll -------------------------------------------------------------------------------- /lambda-calculus/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/lambda-calculus/parser.mly -------------------------------------------------------------------------------- /lambda-calculus/untyped-caml.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/lambda-calculus/untyped-caml.ml -------------------------------------------------------------------------------- /matrices-06-03.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/matrices-06-03.rb -------------------------------------------------------------------------------- /matrices-06-04.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/matrices-06-04.rb -------------------------------------------------------------------------------- /module-systems/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/module-systems/README.md -------------------------------------------------------------------------------- /module-systems/modules.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/module-systems/modules.ml -------------------------------------------------------------------------------- /module-systems/trees.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/module-systems/trees.ml -------------------------------------------------------------------------------- /ocaml/.#dfapractice.ml: -------------------------------------------------------------------------------- 1 | micinski@Kristophers-MacBook-Pro-2.local.91910 -------------------------------------------------------------------------------- /ocaml/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/README.md -------------------------------------------------------------------------------- /ocaml/all_wrong.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/all_wrong.ml -------------------------------------------------------------------------------- /ocaml/binaryTrees.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/binaryTrees.ml -------------------------------------------------------------------------------- /ocaml/conditionals.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/conditionals.ml -------------------------------------------------------------------------------- /ocaml/dfapractice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/dfapractice.ml -------------------------------------------------------------------------------- /ocaml/dfas.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/dfas.ml -------------------------------------------------------------------------------- /ocaml/ex2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/ex2.ml -------------------------------------------------------------------------------- /ocaml/higherorder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/higherorder.ml -------------------------------------------------------------------------------- /ocaml/let.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/let.ml -------------------------------------------------------------------------------- /ocaml/list-intro.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/list-intro.ml -------------------------------------------------------------------------------- /ocaml/pattern-matching.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/pattern-matching.ml -------------------------------------------------------------------------------- /ocaml/polymorphic-types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/polymorphic-types.ml -------------------------------------------------------------------------------- /ocaml/small.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/small.ml -------------------------------------------------------------------------------- /ocaml/type-annotation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/type-annotation.ml -------------------------------------------------------------------------------- /ocaml/types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/types.ml -------------------------------------------------------------------------------- /ocaml/typeslec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/typeslec.ml -------------------------------------------------------------------------------- /ocaml/typeslec2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/ocaml/typeslec2.ml -------------------------------------------------------------------------------- /prolog/01-basics.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/01-basics.pl -------------------------------------------------------------------------------- /prolog/02-math.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/02-math.pl -------------------------------------------------------------------------------- /prolog/03-lists.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/03-lists.pl -------------------------------------------------------------------------------- /prolog/04-hanoi.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/04-hanoi.pl -------------------------------------------------------------------------------- /prolog/05-sort.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/05-sort.pl -------------------------------------------------------------------------------- /prolog/06-backtrack.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/06-backtrack.pl -------------------------------------------------------------------------------- /prolog/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/README.md -------------------------------------------------------------------------------- /prolog/cek.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/cek.pl -------------------------------------------------------------------------------- /prolog/cuts.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/cuts.pl -------------------------------------------------------------------------------- /prolog/examples.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/examples.pl -------------------------------------------------------------------------------- /prolog/hanoi-text.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/hanoi-text.c -------------------------------------------------------------------------------- /prolog/hanoi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/hanoi.c -------------------------------------------------------------------------------- /prolog/jedi.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/jedi.pl -------------------------------------------------------------------------------- /prolog/p7.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/p7.pl -------------------------------------------------------------------------------- /prolog/sort.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/cmsc330examples/HEAD/prolog/sort.pl --------------------------------------------------------------------------------