Differences

This shows you the differences between two versions of the page.

lp-a1 [2018/11/09 13:19]
mvc
lp-a1 [2018/11/13 22:51] (current)
mvc
Line 18: Line 18:
===== Part II ===== ===== Part II =====
-The rest of your assignment this week is to complete your own type inferencer and inhabiter in miniKanren. **You should start with** {{:a11.rkt|a11.rkt}}, a version of inferencer we began on Thursday, and add to it ''*'', ''not'', ''zero?'', ''sub1'', and ''fix''. To be clear, your solution should not involve ''match'' at all; it should be written entirely in miniKanren. You can use the {{:a11-student-tests.rkt|a11-student-tests.rkt}} file to test your file.+The rest of your assignment this week is to complete your own type inferencer and inhabiter in miniKanren. **You should start with** {{https://github.com/mvcccccc/C311Pub/blob/master/a11.rkt|a11.rkt}}, a version of inferencer we began on Thursday, and add to it ''*'', ''not'', ''zero?'', ''sub1'', and ''fix''. To be clear, your solution should not involve ''match'' at all; it should be written entirely in miniKanren. You can use the {{:a11-student-tests.rkt|a11-student-tests.rkt}} file to test your file.
You may find the following [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf|"old-school" notes ]] from Dan, Will, and David of some use. You may find the following [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf|"old-school" notes ]] from Dan, Will, and David of some use.
 

lp-a1.txt · Last modified: 2018/11/13 22:51 by mvc