Follow

@johnabs

So he found a decidable fragment. These are pretty common. But it is pretty neat that it is already part of Haskell's category flavored logic system. :ablobfoxbongo:

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.