3 ms·
what about disciple and mu ? http://stackoverflow.com/questions/10784124/non-lazy-branch-of-ghc http://stackoverflow.com/questions/10784124/non-lazy-branch-...
by gtani 14y ago
what about disciple and mu ?
http://stackoverflow.com/questions/10784124/non-lazy-branch-of-ghc http://stackoverflow.com/questions/10784124/non-lazy-branch-...
http://anil.recoil.org/papers/2011-cufp-scribe-preprint.pdf http://anil.recoil.org/papers/2011-cufp-scribe-preprint.pdf
- tome 14y agoI'm not really sure how "pure" Disciple can be considered to be, and it doesn't use monads does it? Perhaps I'm being ignorant though. Mu is a great example. I wish there was more information about it publically available.