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 deleted branch chore/build from aniva/Pantograph 2025-03-08 22:53:09 -08:00
aniva pushed to dev at aniva/Pantograph 2025-03-08 22:53:09 -08:00
1dceb5428e Merge pull request 'fix: Manifest key error' (#172) from chore/build into dev
9e1ea54cbe chore: Cleanup file filtering system
5d0a7e8443 fix: Manifest key error
Compare 3 commits »
aniva merged pull request aniva/Pantograph#172 2025-03-08 22:53:08 -08:00
fix: Manifest key error
aniva created pull request aniva/Pantograph#172 2025-03-08 22:53:02 -08:00
fix: Manifest key error
aniva pushed to chore/build at aniva/Pantograph 2025-03-08 22:52:44 -08:00
9e1ea54cbe chore: Cleanup file filtering system
aniva pushed to chore/build at aniva/Pantograph 2025-03-08 22:50:18 -08:00
5d0a7e8443 fix: Manifest key error
aniva created branch chore/build in aniva/Pantograph 2025-03-08 22:50:18 -08:00
aniva deleted branch misc/build from aniva/Pantograph 2025-03-08 22:47:19 -08:00
aniva closed issue aniva/Pantograph#147 2025-03-08 21:20:16 -08:00
Move Tactics to a Standalone Library
aniva commented on issue aniva/Pantograph#147 2025-03-08 21:20:16 -08:00
Move Tactics to a Standalone Library

Done #169

aniva closed issue aniva/Pantograph#171 2025-03-08 21:20:03 -08:00
GoalState.withContext should allow lifting
aniva commented on issue aniva/Pantograph#171 2025-03-08 21:20:03 -08:00
GoalState.withContext should allow lifting

Done #169

aniva deleted branch chore/cleanup from aniva/Pantograph 2025-03-08 21:19:03 -08:00
aniva pushed to dev at aniva/Pantograph 2025-03-08 21:19:02 -08:00
4f5dd97e55 Merge pull request 'chore: Cleanup the library system' (#169) from chore/cleanup into dev
7ae50696ac merge: branch 'dev' into chore/cleanup
9cf071eefe chore: Read manifest for LSpec version
92515ea0f2 fix: Update flake lock
5a690c4421 chore: Use `fetchGit` for `LSpec` input
Compare 8 commits »
aniva merged pull request aniva/Pantograph#169 2025-03-08 21:19:01 -08:00
chore: Cleanup the library system
aniva pushed to chore/cleanup at aniva/Pantograph 2025-03-08 21:18:50 -08:00
7ae50696ac merge: branch 'dev' into chore/cleanup
642bca42e9 Merge pull request 'chore: Version bump' (#168) from chore/version into dev
ec3e1ff2c0 chore: Bump version to 0.3.0-rc.1
267290c8f7 fix: Draft tactic failure by new `sorry` semantics
aac39ca60c fix: Some test errors
Compare 6 commits »
aniva pushed to chore/cleanup at aniva/Pantograph 2025-03-08 21:16:59 -08:00
9cf071eefe chore: Read manifest for LSpec version
aniva pushed to chore/cleanup at aniva/Pantograph 2025-03-08 21:12:06 -08:00
92515ea0f2 fix: Update flake lock
aniva pushed to chore/cleanup at aniva/Pantograph 2025-03-08 21:11:55 -08:00
5a690c4421 chore: Use `fetchGit` for `LSpec` input
aniva pushed to chore/cleanup at aniva/Pantograph 2025-03-08 21:07:31 -08:00
39ec79e6bb feat: Monad lifting in `GoalState.withContext`