Pull Requests - Pantograph - git.leni.sh

New Pull Request

feat: Capture environment in drafting

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

frontend/environment

0.2.19

feat: Let tactic in REPL

#111 by aniva was merged 2024-10-12 16:54:13 -07:00

repl/tactic-let

TACAS '25

feat: Catch and print IO errors in REPL

#109 by aniva was merged 2024-10-08 23:50:37 -07:00

repl/io-exception

TACAS '25

feat: Set automaticMode to true by default

#101 by aniva was merged 2024-09-09 17:33:42 -07:00

goal/automatic-mode

TACAS '25

feat: Automatic Mode

#92 by aniva was merged 2024-09-08 12:25:07 -07:00

TACAS '25