Skip to content

Assignments for course COL765 - Introduction to Logical and Functional Programming at IIT Delhi

License

Notifications You must be signed in to change notification settings

nilax97/ILFP-Assignments

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ILFP-Assignments

Assignments for course COL765 - Introduction to Logical and Functional Programming at IIT Delhi

Assignment 1

Implementing Karatsuba's algorithm for multiplication and creating a large number factorial function in SML

For more details refer to problem statement

Assignment 2

Recovering a binary tree from it's inorder traversal using minimal information with SML

For more details refer to problem statement

Details of implementation in report

Assignment 3

Generating the normal form for any input in structural language FL(X) in SML

For more details refer to problem statement

Assignment 4

Generating the normal form for any input in structural language ΛFL(X) which extends FL(X) with Lambda Calculus and recursion in SML

For more details refer to problem statement

Assignment 5

Making a ridoku solver in prolog

For more details refer to problem statement

About

Assignments for course COL765 - Introduction to Logical and Functional Programming at IIT Delhi

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published