Matthias Pronk
Matthias Pronk
If I use the interactive scryer-prolog, `readline` (up key for history, Ctrl-R for reverse search, etc.) do not work on startup. I need to first enter a valid term. Also,...
Hi Kevan, I've a proposal for another "cosmetic" change: Since we're breaking compatibility with the latest 0.4.6 release now, I was thinking if this is the right moment to fix...
I think there is not yet a `shuffle` function in a general purpose library (I did find one in `quickcheck`, but it uses the `Gen` monad). I'm thinking something like...