Assignment 13

Write a type inferencer in miniKanren (or cKanren) that runs both forwards and backwards (see Chapter 7 of Field & Harrison's Functional Programming). Include standard lambda calculus types and let polymorphism.

 

b621-assignment-13.txt · Last modified: 2012/04/10 17:36 by cswords