tweak intensionality.ml
authorJim <jim.pryor@nyu.edu>
Mon, 6 Apr 2015 13:59:04 +0000 (09:59 -0400)
committerJim <jim.pryor@nyu.edu>
Mon, 6 Apr 2015 13:59:04 +0000 (09:59 -0400)
commit34bdd67906c7529660a35340f2eb5740d6beb3b3
treec849df6a25064951283ddc79685007cffc8895b0
parent356cd0ed65c71922aecc155ddab88896c4e0629d
tweak intensionality.ml
code/intensionality-monad.ml