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

12

Projects Packages Public Activity Starred Repositories

9

aniva pushed to bug/frontend-translate-delayed-mvar at aniva/Pantograph 2024-10-08 14:28:54 -07:00

0e8c9f890b fix: Translate fvars in pending context

aniva created pull request aniva/Pantograph#110 2024-10-08 10:33:02 -07:00

feat: Delayed MVars in MetaTranslate

aniva created branch bug/frontend-translate-delayed-mvar in aniva/Pantograph 2024-10-08 10:32:37 -07:00

aniva pushed to bug/frontend-translate-delayed-mvar at aniva/Pantograph 2024-10-08 10:32:37 -07:00

420e863756 fix: Delayed mvars in MetaTranslate

aniva deleted branch misc/version from aniva/Pantograph 2024-10-08 09:49:11 -07:00

aniva pushed to dev at aniva/Pantograph 2024-10-08 09:49:11 -07:00

1f4f2d7d6d Merge pull request 'chore: Update Lean to v4.12.0' (#108) from misc/version into dev

2e1276c21c chore: Update LSpec dependency

c3494edc75 fix: Flake build

25dd1a32ba Merge branch 'dev' into misc/version

c3076cbb7d chore: Update Lean to v4.12.0

Compare 5 commits »

aniva merged pull request aniva/Pantograph#108 2024-10-08 09:49:09 -07:00

chore: Update Lean to v4.12.0

aniva pushed to repl/io-exception at aniva/Pantograph 2024-10-08 00:46:09 -07:00

05d0b7739a feat: Catch IO errors in json format

aniva created pull request aniva/Pantograph#109 2024-10-08 00:20:20 -07:00

feat: Catch and print IO errors in REPL

aniva created branch repl/io-exception in aniva/Pantograph 2024-10-08 00:17:51 -07:00

aniva pushed to repl/io-exception at aniva/Pantograph 2024-10-08 00:17:51 -07:00

5e776a1b49 feat: Catch and print IO errors

aniva pushed to misc/version at aniva/Pantograph 2024-10-08 00:15:50 -07:00

2e1276c21c chore: Update LSpec dependency

aniva commented on pull request aniva/Pantograph#108 2024-10-07 09:54:46 -07:00

chore: Update Lean to v4.12.0

LSpec merged to mainline: 504a8cecf8

aniva commented on pull request aniva/Pantograph#108 2024-10-06 16:48:03 -07:00

chore: Update Lean to v4.12.0

Lean 4's Nix build system is deprecated: zulip,…

aniva pushed to misc/version at aniva/Pantograph 2024-10-06 16:46:53 -07:00

c3494edc75 fix: Flake build

aniva pushed to misc/version at aniva/Pantograph 2024-10-06 16:12:41 -07:00

25dd1a32ba Merge branch 'dev' into misc/version

9119f47a8f chore: Remove more thin wrappers

8d774d3281 feat: Remove most filters on catalog

Compare 3 commits »

aniva pushed to dev at aniva/Pantograph 2024-10-06 16:12:23 -07:00

9119f47a8f chore: Remove more thin wrappers

8d774d3281 feat: Remove most filters on catalog

Compare 2 commits »

aniva merged pull request aniva/Pantograph#105 2024-10-06 16:12:23 -07:00

feat: Remove most filters on catalog

aniva deleted branch env/catalog from aniva/Pantograph 2024-10-06 16:12:23 -07:00

aniva created pull request aniva/Pantograph#108 2024-10-06 16:10:51 -07:00

chore: Update Lean to v4.12.0