Predicate Functor Logicen.wikipedia.org3 points·culturedsystems··0 commentsOpen articleSaveView on HN