Compare commits

merge into: aniva:dev

Branches Tags

aniva:dev

aniva:bug/incorrect-binder-capture

aniva:goal/tactic

aniva:delate/sexp

aniva:misc/version

aniva:chore/version

aniva:doc/rationale

aniva:serial/pickle

aniva:misc/build

aniva:parse/level

aniva:main

aniva:v0.2.23

aniva:v0.2.22

aniva:v0.2.21

aniva:v0.2.20

aniva:v0.2.19

aniva:v0.2.19-alpha

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:misc/version

Branches Tags

aniva:bug/incorrect-binder-capture

aniva:goal/tactic

aniva:delate/sexp

aniva:misc/version

aniva:dev

aniva:chore/version

aniva:doc/rationale

aniva:serial/pickle

aniva:misc/build

aniva:parse/level

aniva:main

aniva:v0.2.23

aniva:v0.2.22

aniva:v0.2.21

aniva:v0.2.20

aniva:v0.2.19

aniva:v0.2.19-alpha

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#134

chore: Update Lean to v4.14.0 #134

View Pull Request