open issues :: hub.darcs.net

You must be logged in to create an issue.

A backtracking logic programming monad (http://code.haskell.org/~dolio/)

#5
Broken MonadReader instance
reported by mikeplus64 Tue Apr 16 07:23:00 UTC 2019, updated Tue Apr 16 07:44:01 UTC 2019
#4
Avoid unnecessary calls of 'msplit'
reported by Borgvall Sun Apr 9 09:06:16 UTC 2017, updated Sun Apr 9 09:37:33 UTC 2017
#3
Links to the paper inside the package are wrong
reported by Profpatsch Mon Nov 14 14:54:06 UTC 2016
#1
MonadLogic WriterT instance don't satisfy reflect law
reported by pocketberserker Thu Jun 4 05:57:22 UTC 2015, updated Fri Oct 21 04:06:39 UTC 2016
#2
Wall & Wcompat police
reported by hvr Mon Feb 29 13:28:15 UTC 2016

hub.darcs.net :: dolio -> logict -> open issues