🐛🕳 Debug holes - #14

Open

jonsterling wants to merge 9 commits into

mainfrom

Commits on Aug 27, 2023

style: reformat

jonsterling
authored and
favonia
committed
bc3183c
feat: add holes to parser

jonsterling
authored and
favonia
committed
616cad4
fix: abstract over TpUlvl when unleashing holes, add small debug printer

mmcqd
authored and
favonia
committed
1e58bec
fix: in unleash_hole, goal type was quoted in the wrong env

jonsterling
authored and
favonia
committed
e748a01
feat: add dumper for core syntax

jonsterling
authored and
favonia
committed
ce81aee
feat: print something when we unleash a hole

jonsterling
authored and
favonia
committed
33321f5
fix: remove duplicate line

jonsterling
authored and
favonia
committed
aee3ad2
fix: print Pi as Pi, not VirPi

mmcqd
authored and
favonia
committed
0b68870
feat: print context/goal at hole instead of hole type

mmcqd
authored and
favonia
committed
eebaad2