Hacker News new | ask | show | jobs
by sitkack 435 days ago
https://en.wikipedia.org/wiki/Predicate_transformer_semantic...

Found in about 9 seconds.