Logic and Functional Programming

Useful Links:

1. 2021-22 Edition, Prof. Sharma
2. 2019-20 Edition, Prof. Kumar
3. Learn OCaml

Lecture Notes (Nothing Yet!):

#Lecture	Notes
1	Introduction