eopl 7.20
eopl 7.25; list support for type inference
fix bug on type error
7.39 and 7.30 unfinished
add parentheC paper
add minikanren code
change mk
condi demo
add gitignore
update
lisp in small pieces initial commit
add lazy evaluation
seckcoder's minikanren implementation