New top story on Technology News: Carnap – A formal logic framework for Haskell

AB BROTHERS e SOLUTIONS - 02:24

Carnap – A formal logic framework for Haskell
8 by ravenical | 1 comments on Hacker News.

Post a Comment

0 Comments