Or maybe it's finished ?

+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.