Post · bonfire.cafe

Post

Log in

@h4ckernews@mastodon.social · 2 months ago

Carnap – A formal logic framework for Haskell

https://carnap.io/

#HackerNews #Carnap #Haskell #formalLogic #programming #language #innovation

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances

Bonfire social · 1.0.2-alpha.32 no JS en

Federation disabled

Log in