N
News: Tech Hiring Jobs Crypto Investments Important
new
show
ask
jobs
submit
login
Carnap – A formal logic framework for Haskell
carnap.io
114 points by
ravenical
11 days ago
|
20 comments
add comment