1 week ago · software

Obelisk 0.32: Cancellation, WebAPI, Postgres

Article URL: https://obeli.sk/blog/announcing-obelisk-0-32/ Comments URL: https://news.ycombinator.com/item?id=46424789 Points: 9 Comments: 1...

2 weeks ago · software

Carnap – A formal logic framework for Haskell

Article URL: https://carnap.io/ Comments URL: https://news.ycombinator.com/item?id=46363751 Points: 7 Comments: 1...