Product Launch
anonymous
71 points
15 comments
Posted13 days agoActive12 days ago
Carnap
carnap.iolaunchedlibrarydevelopers, logicians, educators
Key Features
formal logic frameworkHaskell integrationproof checking
Tech Stack
Haskell
Key Features
Tech Stack
I was so happy that finally that splendid slumber during transportation was finally getting the recognition it so richly deserves.
;)
Doesn't look like it is been updated in a while. And the GitHub repos last commits are even older. Dead project?
It seems to of had the web app portion updated a year ago. And as you say, the application itself looks ‘done.’
I have frequently used Common Lisp over the last 40 years, and I hear comments about libraries being old and not updated in many years: so what! Quality code that performs a specific function sometimes is ‘done.’
I am a novice Haskell programmer but I enjoy the language and it is very cool to have the Carnap github repo with a book manuscript, backend and front end code to look over.
It's an educational tool for formal propositional logic which hasn't really changed much on 100 years, so probably not a lot of updates are required unless there are big new updates to Haskell itself.
https://logics.readthedocs.io/en/latest/
GUI here:
Not affiliated with Hacker News or Y Combinator. We simply enrich the public API with analytics.