rhiannon morris b6264f388d fix #11 the easy way ... tightening just pushes substitutions all the way through. bleh		2023-07-17 03:50:16 +02:00
..
Term	fix #11 the easy way	2023-07-17 03:50:16 +02:00
Dim.idr	rewrite pretty printer	2023-05-15 17:13:14 +02:00
DimEq.idr	rewrite pretty printer	2023-05-15 17:13:14 +02:00
Qty.idr	rewrite pretty printer	2023-05-15 17:13:14 +02:00
Shift.idr	rewrite pretty printer	2023-05-15 17:13:14 +02:00
Subst.idr	bump again	2023-07-13 21:28:39 +02:00
Term.idr	rewrite pretty printer	2023-05-15 17:13:14 +02:00
Var.idr	rewrite pretty printer	2023-05-15 17:13:14 +02:00