Logic programming in higher-order logiclix.polytechnique.fr2 points·harperlee··0 commentsOpen articleSaveView on HN