Issues - Pantograph - git.leni.sh

New Issue

Remove CoreM library functions

#184 opened 2025-04-05 14:04:32 -07:00 by aniva 0.3

Implement MonadBacktrack for MainM and backtrack goal states as well

#180 opened 2025-03-29 12:42:09 -07:00 by aniva

Allow generation of recursive functions

#170 opened 2025-02-25 17:07:56 -08:00 by aniva

Add unsafe detection in goal.print

#151 opened 2024-12-19 05:02:52 -08:00 by aniva

Pickle environment extensions

part/Environment

#137 opened 2024-12-08 16:11:48 -08:00 by aniva

Branch unification

#132 opened 2024-12-05 15:34:19 -08:00 by aniva

One stop env.add

part/Environment

#117 opened 2024-10-22 11:02:32 -07:00 by aniva

goal.delete exceeds max recursion depth

#104 opened 2024-10-03 15:49:01 -07:00 by aniva

Use MLList from Batteries

#98 opened 2024-09-08 13:39:37 -07:00 by aniva

Add option for Meta.ppGoal

#78 opened 2024-06-10 13:03:06 -07:00 by aniva

Printing fine-grained delaboration structure

#23 opened 2023-10-26 22:52:48 -07:00 by aniva io/serial