projects
/
lambda.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
6702a8a7ad13ba952bb11355952d2bcbea9195fb
[lambda.git]
/
reader_monad.mdwn
1
Introduce
2
3
Heim and Kratzer's "Predicate Abstraction Rule"
4
5
6