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

Or maybe it's finished ?

	▲	mark_l_watson 5 hours ago \| parent [-]
		+1 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.

▲

gleachkr 2 hours ago | parent | prev | next [-]

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

▲

benrutter 5 hours ago | parent | prev [-]

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 31 minutes ago \| parent [-]
		the list is also incomplete! I used carnap for intro logic and my college isn't there