techcentaur/COL226-Assignments

The code in this repository is relevant to the assignments given in the course COL226, taught by Prof. Sanjiva Prasad, in IIT Delhi, 2nd semester, 2017-2018.

语言：OCaml · GitHub 星标：3 · Fork：1

话题：abstract-machine · krivine-machine · ocaml · programming-language · prolog · prolog-interpreter · type-checker

在 GitHub 上查看原仓库