Hacker News new | ask | show | jobs
Predicate Functor Logic (en.wikipedia.org)
3 points by culturedsystems 869 days ago