Strongly typed logic programming embedding in Haskell (NASA research)old.reddit.com5 points·ivanperez-keera··0 commentsOpen articleSaveView on HN