- Efficient logic programming in Haskell? https://hackage.haskell.org/package/logict 7 comments haskell
Linking pages
- Generalizing 'jq' and Traversal Systems using optics and standard monads https://chrispenner.ca/posts/traversal-systems 107 comments
- Planning Weekly Workouts in 100 lines of Haskell https://alt-romes.github.io/posts/2024-08-14-planning-a-workout-week-with-100-lines-of-haskell.html 13 comments
- GitHub - smichal/hs-logic: A simple library for Haskell that allows relational programming. https://github.com/smichal/hs-logic 10 comments
- A Gentle Run-through of Continuation Passing Style and Its Use Cases https://free.cofree.io/2020/01/02/cps/ 6 comments
- higher-order-unification/explanation.md at master · jozefg/higher-order-unification · GitHub https://github.com/jozefg/higher-order-unification/blob/master/explanation.md 5 comments
- High performance monads : ezyang’s blog http://blog.ezyang.com/2010/09/high-performance-monads 3 comments
- higher-order-unification/explanation.md at 21382f44205aa3d8b115fe2b2eba47489da4b492 · jozefg/higher-order-unification · GitHub https://github.com/jozefg/higher-order-unification/blob/21382f44205aa3d8b115fe2b2eba47489da4b492/explanation.md 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:hackage.haskell.org
Search title: logict: A backtracking logic-programming monad.
See how to search.