aniva commented on pull request aniva/Pantograph#183

2025-04-02 19:13:55 -07:00

fix: variable and universe commands in environment capture

Also need to ensure that unfoldMatchers does not unfold strong induction

aniva pushed to touhou at aniva/OpenMusicScores

2025-04-01 22:57:22 -07:00

720af7c194 07-13 all

aniva pushed to touhou/shiki-eiki at aniva/Cosplay

2025-03-31 00:22:33 -07:00

bfb4ad6973 Add fine angular tolerance for side guards

aniva pushed to touhou/shiki-eiki at aniva/Cosplay

2025-03-30 16:57:21 -07:00

9d9d59ffeb Add attachment point wings to Eiki crown

aniva pushed to main at aniva/config

2025-03-30 12:18:49 -07:00

a077bcaafe Merge pull request 'feat: Additional language support for doomemacs' (#25) from emacs into main

1f87caa390 feat: Julia snail, typst heading shift

76b76619ee feat: Additional language support for doomemacs

Compare 3 commits »

aniva merged pull request aniva/config#25

2025-03-30 12:18:48 -07:00

feat: Additional language support for doomemacs

aniva pushed to system/darwin at aniva/config

2025-03-30 12:10:52 -07:00

069f24cc67 Merge branch 'emacs' into system/darwin

3429dc5a2d feat: Common tools on darwin

1f87caa390 feat: Julia snail, typst heading shift

Compare 3 commits »

aniva pushed to touhou/shiki-eiki at aniva/Cosplay

2025-03-30 00:49:24 -07:00

704baebd1e Bent surface for crown face

aniva created pull request aniva/Pantograph#183

2025-03-29 22:23:28 -07:00

fix: variable and universe commands in environment capture

aniva pushed to bug/variable-level-names-in-scope at aniva/Pantograph

2025-03-29 22:22:40 -07:00

aniva created branch bug/variable-level-names-in-scope in aniva/Pantograph

2025-03-29 22:22:40 -07:00

aniva commented on issue aniva/Pantograph#132

2025-03-29 19:07:02 -07:00

Branch unification

Useful comment from Environment.lean:

Note [Environment Branches]

The kernel environment type Lean.Kernel.Environment enforces a linear order on the addition of declarations:…

aniva deleted branch chore/env from aniva/Cosplay

2025-03-29 18:14:19 -07:00

aniva pushed to main at aniva/Cosplay

2025-03-29 18:14:19 -07:00

aef269e2eb Merge pull request 'chore: Update environment' (#12) from chore/env into main

6842b0c4c8 chore: Update environment

Compare 2 commits »

aniva merged pull request aniva/Cosplay#12

2025-03-29 18:14:19 -07:00

chore: Update environment

aniva deleted branch bug/env-add-level from aniva/Pantograph

2025-03-29 15:48:14 -07:00

aniva pushed to dev at aniva/Pantograph

2025-03-29 15:48:13 -07:00

1402a69eea Merge pull request 'fix: `env.add` Declarations with universe levels' (#181) from bug/env-add-level into dev

664516f148 Merge branch 'dev' into bug/env-add-level

91fbc4cdca chore: Remove redundant code

b9ff9e8f13 feat(repl): Optional type argument in `env.add`

9ea099827f fix(env): Adding declarations with universe levels

Compare 5 commits »

aniva merged pull request aniva/Pantograph#181

2025-03-29 15:48:13 -07:00

fix: `env.add` Declarations with universe levels

aniva pushed to bug/env-add-level at aniva/Pantograph

2025-03-29 15:45:05 -07:00

664516f148 Merge branch 'dev' into bug/env-add-level

18446f865e Merge pull request 'test: Update LSpec' (#182) from test/build into dev

2885671490 test: Update LSpec

Compare 3 commits »

aniva deleted branch test/build from aniva/Pantograph

2025-03-29 15:44:32 -07:00