Key features:
- Written in Haskell in less than 50 LOC.
- Abstract. You can have different types for operations and goals.
Warning:
- It is not tested.
- It does not fix problems like clobbered sibling problem, or recursive subgoal problem, etc.
| Name | Name | Last commit date | ||
|---|---|---|---|---|