Pantograph

feat(repl): MonadBacktrack for EMainM

#283 by aniva was merged 2025-08-17 22:19:50 -07:00

dev

v0.3.7

feat(frontend): Remove sorry capturing capability from frontend.process

#277 by aniva was merged 2025-08-14 14:50:10 -07:00

dev

v0.3.7

feat(frontend): Move functionalities of sorry capture to frontend.distil

1

#271 by aniva was merged 2025-08-11 14:58:54 -07:00

dev

v0.3.6

doc: Remove stale repl documentation

category

doc

part/REPL

#245 by aniva was merged 2025-07-18 15:12:31 -07:00

dev

v0.3.5

feat(frontend): Refactor function

1

#234 by aniva was merged 2025-07-22 09:19:41 -07:00

dev

v0.3.5

feat: Display Message metadata

#232 by aniva was merged 2025-07-10 11:45:45 -07:00

dev

v0.3.4

feat(repl): Replace StdIO when executing IO-based monads

category

feature

part/REPL

#231 by aniva was merged 2025-07-08 14:30:51 -07:00

dev

v0.3.4

feat(frontend): Command-level frontend.process

#229 by aniva was merged 2025-07-11 16:05:57 -07:00

dev

v0.3.4

feat(repl): Flush stdout

category

feature

part/REPL

#194 by aniva was merged 2025-04-20 09:29:03 -07:00

dev

v0.3.1

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

#187 by aniva was merged 2025-05-01 09:00:04 -07:00

dev

v0.3.1

fix: universe commands in environment capture

2

#183 by aniva was merged 2025-04-07 20:18:50 -07:00

dev

v0.3

fix: env.add Declarations with universe levels

#181 by aniva was merged 2025-03-29 15:48:13 -07:00

dev

v0.3

feat: Tactic with timeout

1

#179 by aniva was merged 2025-03-28 21:31:59 -07:00

dev

v0.3

feat: Update CoreM options from parsed header

1

#177 by aniva was merged 2025-03-28 18:56:22 -07:00

dev

v0.3

doc: Manual about env.{describe,module_read}

#165 by aniva was merged 2025-01-26 22:04:29 -08:00

dev

v0.2.25

chore: Code cleanup

category

chore

part/REPL

#164 by aniva was merged 2025-01-26 22:04:13 -08:00

dev

v0.2.25

feat: Draft tactic REPL interface

#158 by aniva was merged 2025-01-16 10:32:48 -08:00

dev

v0.2.25

feat: Print value of arbitrary mvar and goals in goal state

#141 by aniva was merged 2024-12-11 16:52:20 -08:00

dev

v0.2.23

doc: Documentation cleanup and update

category

doc

part/REPL

#133 by aniva was merged 2024-12-05 17:23:25 -08:00

dev

v0.3

feat: Capture environment in drafting

1

#113 by aniva was merged 2024-10-12 16:59:41 -07:00

dev

v0.2.19