aniva/Pantograph

Print structures #34

New issue

Closed

opened 2023-11-30 01:02:14 -08:00 by aniva · 1 comment

aniva commented

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

Owner

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

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 v0.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

Author

Owner

Solved #35

Solved #35

aniva closed this issue

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

Sign in to join this conversation.

No labels

part/Environment

pending-measurement

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: aniva/Pantograph#34

No description provided.