Compare commits

merge into: aniva:dev

Branches Tags

aniva:dev

aniva:frontend/collect-holes

aniva:goal/tactic

aniva:parse/level

aniva:misc/toolchain

aniva:misc/interaction

aniva:main

aniva:v0.2.18

aniva:v0.2.14

aniva:v0.2.13

aniva:v0.2.12

aniva:v0.2.11

aniva:v0.2.10

aniva:v0.2.10-alpha

aniva:v0.2.9

aniva:v0.2.8

aniva:v0.2.7

aniva:v0.2.6

aniva:v0.2.5

aniva:0.2.3

aniva:0.1

...

pull from: aniva:frontend/collect-holes

Branches Tags

aniva:frontend/collect-holes

aniva:dev

aniva:goal/tactic

aniva:parse/level

aniva:misc/toolchain

aniva:misc/interaction

aniva:main

aniva:v0.2.18

aniva:v0.2.14

aniva:v0.2.13

aniva:v0.2.12

aniva:v0.2.11

aniva:v0.2.10

aniva:v0.2.10-alpha

aniva:v0.2.9

aniva:v0.2.8

aniva:v0.2.7

aniva:v0.2.6

aniva:v0.2.5

aniva:0.2.3

aniva:0.1

A pull request between these branches already exists: aniva/Pantograph#99

feat: Collect holes in Lean file and put them into a `GoalState` #99

View Pull Request