Hacker News @h4ckernews@mastodon.social · activity timestamp 5 days ago Carnap – A formal logic framework for Haskellhttps://carnap.io/ #HackerNews #Carnap #Haskell #formalLogic #programming #language #innovation Read more Read less Translate Reply Boost Quote You cannot quote this post Like More actions Copy link Flag this post Block
