[−][src]Module mini_kanren::goals
Library of goals
Modules
| combinators | Compose goals using combinators to build more complex goals |
| list | |
| numbers | Logic-compatible numbers. |
| primitive |
Type Definitions
| StatSubs |
Library of goals
| combinators | Compose goals using combinators to build more complex goals |
| list | |
| numbers | Logic-compatible numbers. |
| primitive |
| StatSubs |