3 ms·

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 c

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 https://carnap.io/about

imovie4 10mo ago
the list is also incomplete! I used carnap for intro logic and my college isn't there
- ravenical 10mo ago
  My university's course (how I found out about it) isn't there either - seems like it's mostly US-focused
  - gleachkr 10mo ago
    Y'all want to email me? I'll see about updating the list.