2010-11-10 | Chris Barker | fixed discussion of lift in intensionality monad | blob | commitdiff |
2010-11-10 | Chris Barker | fixed discussion of lift in intensionality monad | blob | commitdiff | diff to current |
2010-11-03 | Jim Pryor | spell out reader-bind more explicitly | blob | commitdiff | diff to current |
2010-11-03 | Jim Pryor | renaming | blob | commitdiff | diff to current |