You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This repository contains scripts for the evaluation of assignments given in the course COL 765 Introduction to logic and functional programming(Spring 2019) taught by Prof. S Arun Kumar at IIT Delhi
About
This repository contains scripts for the evaluation of assignments given in the course COL 765 Introduction to logic and functional programming(Spring 2019) taught by Prof. S Arun Kumar at IIT Delhi