GitHub - saurabhs92/logic-and-functional-programming-iit-delhi: Code for the course Introduction to Logic and Functional Programming - CSL765

saurabhs92 / logic-and-functional-programming-iit-delhi Public

Notifications You must be signed in to change notification settings
Fork 2
Star 4

Code for the course Introduction to Logic and Functional Programming - CSL765 - 2015-16 I Sem (Prof. Sanjiva Prasad)

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
README		README
assign_4.pl		assign_4.pl
assignment_1.ml		assignment_1.ml
assignment_2.ml		assignment_2.ml
assignment_3.ml		assignment_3.ml
assignment_5.ml		assignment_5.ml
assignment_6.ml		assignment_6.ml

Repository files navigation

This repo includes my assignment solutions, notes and code for the course Introduction to Logic and Functional Programming (CSL765), IIT Delhi, taught by Sanjiva Prasad.

My blog contains further information on this course: https://technicalnamaste.wordpress.com/