Comment by benrutter
1 day 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.
the list is also incomplete! I used carnap for intro logic and my college isn't there
My university's course (how I found out about it) isn't there either - seems like it's mostly US-focused
Y'all want to email me? I'll see about updating the list.