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.
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.
I don't like the trend of naming software projects after real people. It makes web search harder both for people who try to find the person and for people who try to find the project.
https://logics.readthedocs.io/en/latest/
GUI here:
https://taut-logic.com/
https://en.wikipedia.org/wiki/Rudolf_Carnap
Doesn't look like it is been updated in a while. And the GitHub repos last commits are even older. Dead project?
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
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.