Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Lab
  • https://leni.sh

  • Director of NorCal Hakkero Factory No. 1

  • Joined on 2023-08-21
Repositories
13
 Projects Packages Public Activity Starred Repositories
9
aniva pushed to dev at aniva/Pantograph 2025-03-28 18:56:24 -07:00
48485a868b Merge pull request 'feat: Update `CoreM` options from parsed header' (#177) from frontend/env-init into dev
9980fd9c39 test(repl): Environment loading from header
8adab24157 fix: Call sites in `Main.lean`
c2b7501649 refactor: Remove `CoreM` from `MainM`
0fea0b50c9 Merge branch 'dev' into frontend/env-init
Compare 6 commits »
aniva deleted branch frontend/env-init from aniva/Pantograph 2025-03-28 18:56:24 -07:00
aniva merged pull request aniva/Pantograph#177 2025-03-28 18:56:22 -07:00
feat: Update `CoreM` options from parsed header
aniva pushed to frontend/env-init at aniva/Pantograph 2025-03-28 18:46:24 -07:00
9980fd9c39 test(repl): Environment loading from header
aniva commented on pull request aniva/Pantograph#177 2025-03-28 13:01:14 -07:00
feat: Update CoreM options from parsed header

Need to write some tests to prevent regression, and this will be good to go.

aniva pushed to frontend/env-init at aniva/Pantograph 2025-03-28 00:56:27 -07:00
8adab24157 fix: Call sites in `Main.lean`
aniva pushed to frontend/env-init at aniva/Pantograph 2025-03-28 00:51:00 -07:00
c2b7501649 refactor: Remove `CoreM` from `MainM`
aniva pushed to frontend/env-init at aniva/Pantograph 2025-03-25 12:27:48 -07:00
0fea0b50c9 Merge branch 'dev' into frontend/env-init
fb91b521fb Merge pull request 'chore: Update Lean to v4.17.0, version to v0.3' (#178) from chore/version into dev
ebf514b92b chore: Update nix flake
d305918bb9 chore: Update Lean to v4.17.0
Compare 4 commits »
aniva closed issue aniva/Pantograph#175 2025-03-24 18:21:48 -07:00
Add tracing tags in delation
aniva commented on issue aniva/Pantograph#175 2025-03-24 18:21:48 -07:00
Add tracing tags in delation

Done #176

aniva pushed to dev at aniva/Pantograph 2025-03-24 18:05:27 -07:00
fb91b521fb Merge pull request 'chore: Update Lean to v4.17.0, version to v0.3' (#178) from chore/version into dev
ebf514b92b chore: Update nix flake
d305918bb9 chore: Update Lean to v4.17.0
Compare 3 commits »
aniva deleted branch chore/version from aniva/Pantograph 2025-03-24 18:05:27 -07:00
aniva merged pull request aniva/Pantograph#178 2025-03-24 18:05:25 -07:00
chore: Update Lean to v4.17.0, version to v0.3
aniva created pull request aniva/Pantograph#178 2025-03-24 18:05:16 -07:00
chore: Update Lean to v4.17.0, version to v0.3
aniva pushed to chore/version at aniva/Pantograph 2025-03-24 18:04:46 -07:00
ebf514b92b chore: Update nix flake
aniva pushed to chore/version at aniva/Pantograph 2025-03-24 17:57:46 -07:00
d305918bb9 chore: Update Lean to v4.17.0
aniva created branch chore/version in aniva/Pantograph 2025-03-24 17:57:46 -07:00
aniva pushed to frontend/env-init at aniva/Pantograph 2025-03-24 17:48:11 -07:00
3e55b4b22f feat(repl): Record last scope
aniva pushed to touhou at aniva/OpenMusicScores 2025-03-23 20:43:59 -07:00
0766d47c90 Extend 07-13 to section 3
aniva pushed to touhou at aniva/OpenMusicScores 2025-03-23 17:34:00 -07:00
889c0ed49c Border of Life 1st part