Tuesday, 23 December 2025

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

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


No comments:

Post a Comment