Carnap – A formal logic framework for Haskell

Published 2 hours ago

Source: hnrss.org

Article URL: https://carnap.io/

Comments URL: https://news.ycombinator.com/item?id=46363751

Points: 24

# Comments: 6

Read Original Article

Related Articles from hnrss.org

Ryanair fined €256M over ‘abusive strategy’ to limit ticket sales by OTAs

What are the best engineering blogs with real-world depth (no fluff)?

Gimp Source Code

Why were all stories about the '60 minutes' leak removed from HN?

Instant database clones with PostgreSQL 18

10 years bootstrapped: €6.5M revenue with a team of 13