hackernews client

Carnap – A formal logic framework for Haskell

114 pointsposted a month ago

by ravenical

(carnap.io)

21 Comments

keiferski

a month ago

If you were wondering, the name comes from a famous philosopher and logician:

https://en.wikipedia.org/wiki/Rudolf_Carnap

Pet_Ant

a month ago

Thanks... you just ruined it.

I was so happy that finally that splendid slumber during transportation was finally getting the recognition it so richly deserves.

;)

keiferski

a month ago

Ha, I’ve been familiar with Carnap for probably a decade and it took your comment for me to realize his name is Car Nap.

netdevphoenix

a month ago

Doesn't look like it is been updated in a while. And the GitHub repos last commits are even older. Dead project?

gleachkr

a month ago

Hey, Carnap creator here. Definitely not dead (still actively used by plenty of universities), but pretty stable these days.

benrutter

a month ago

I think that's probably unlikely given the long list of universities using it[0].

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.

[0] https://carnap.io/about

imovie4

a month ago

the list is also incomplete! I used carnap for intro logic and my college isn't there

ravenical

a month ago

My university's course (how I found out about it) isn't there either - seems like it's mostly US-focused

gleachkr

a month ago

Y'all want to email me? I'll see about updating the list.

LandR

a month ago

Or maybe it's finished ?

mark_l_watson

a month ago

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.