0.3.1

New Issue

Accomodate adversarial inputs

feat: Add errToSorry as a flag
feat: Add unsafe and computability detection
doc: Update rationale about cooperative concurrency and cancellation

2025-06-01

14% Completed

fix(goal): Prevent duplication in idempotent tactics

#193 opened 2025-04-18 00:44:10 -07:00 by aniva

bug/resume-goal-duplication

Goal duplication

#192 opened 2025-04-18 00:24:43 -07:00 by aniva

Use non-computable section by default

#190 opened 2025-04-14 16:01:57 -07:00 by aniva

fix(repl): Elaborate with errToSorry as false by default

#187 opened 2025-04-10 23:19:57 -07:00 by aniva

repl/elab-option

Implement MonadBacktrack for MainM and backtrack goal states as well

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

Add unsafe detection in goal.print

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