aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 2 Pull Requests Packages Projects Releases 1 Wiki Activity

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
Copy Link

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 commented 2024-01-08 12:24:00 -08:00
Author
Owner
Copy Link

Solved #35

Solved #35
aniva closed this issue 2024-01-08 12:24:00 -08:00
Sign in to join this conversation.
io/serial
Branches Tags
Clear current reference
dev
lib/export
parse/level
misc/toolchain
misc/interaction
main
Clear current reference
v0.2.14
v0.2.13
v0.2.12
v0.2.11
v0.2.10
v0.2.10-alpha
v0.2.9
v0.2.8
v0.2.7
v0.2.6
v0.2.5
0.2.3
0.1
Labels
Clear labels   
category
bug
Bugs, Test failures, Build failures

  
category
doc
Documentation

  
category
feature
New features and enhancements

  
category
optimization
Performance improvements

  
category
organization
Versioning and structure

  
part/Data

Training data generation

  
part/Environemnt

Environments, Library, Catalog

  
part/Goal

Goal evolution, proof terms, tactics

  
part/ParseElab

Parsing and elaboration

  
part/Serial

Serialization, IO

  
priority
high

  
priority
irrelevant
Issues that will not be fixed or are intended features

  
priority
low
For things that don't impede release schedule

  
priority
medium

No Label
category
bug
category
doc
category
feature
category
optimization
category
organization
part/Data
part/Environemnt
part/Goal
part/ParseElab
part/Serial
priority
high
priority
irrelevant
priority
low
priority
medium
Milestone
Clear milestone
No items
No Milestone
0.2.10
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
aniva
1 Participants
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.
Delete Branch "%!s(<nil>)"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?