Print structures #34

New Issue

aniva · 2023-11-30T01:02:14-08:00

aniva commented

2023-11-30 01:02:14 -08:00

Currently Expr.proj serializes to the name of the structure. This should be transformed into a function application. Structural projection is a Lean-specific optimization

Currently `Expr.proj` serializes to the name of the structure. This should be transformed into a function application. Structural projection is a Lean-specific optimization

aniva added the

category

feature

part/Serial

labels 2023-11-30 01:02:14 -08:00

aniva self-assigned this 2023-11-30 01:02:14 -08:00

aniva added this to the 0.2.10 milestone 2023-11-30 01:04:20 -08:00

aniva referenced this issue

2023-12-04 15:31:00 -08:00

feat: Print structural projection as application #35

aniva commented

2024-01-08 12:24:00 -08:00