Post AOpsM0wHuVnPpH16ES by jmw150@qoto.org
 (DIR) More posts by jmw150@qoto.org
 (DIR) Post #AOpsM0wHuVnPpH16ES by jmw150@qoto.org
       2022-10-22T19:52:29Z
       
       0 likes, 0 repeats
       
       @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: