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

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