Giters

pradyumnameena / COL226-Programming-Languages

This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ocamlfunctional-programmingprologtypecheckersecdkrivine-machineabstract-machines

COL226

Assignments given by Prof Sanjeeva during the course COL226 (Programming Languages) in the second semester of 2017-18.

About

This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.

ocamlfunctional-programmingprologtypecheckersecdkrivine-machineabstract-machines

Languages

Language:OCaml 84.8%Language:Prolog 15.2%