Readit News

Posted by u/ivanperez-keera a year ago

Strongly typed logic programming embedding in Haskell (NASA research)old.reddit.com/r/haskell/...

No comments