week1: functional ocaml turing complete after all
[lambda.git] / szabolcsi-reflexive.png
szabolcsi-reflexive.png