Carnap – A formal logic framework for Haskell

Published 4 hours ago
Source: hnrss.org

Article URL: https://carnap.io/

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

Points: 48

# Comments: 9

Read Original Article

Related Articles from hnrss.org