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 frontend/error at aniva/Pantograph 2024-10-05 14:49:39 -07:00

d0321e72dd feat: Add message diagnostics to frontend.process

aniva pushed to frontend/error at aniva/Pantograph 2024-10-05 14:09:13 -07:00

452c390711 Merge pull request 'feat: Collect holes in Lean file and put them into a `GoalState`' (#99) from frontend/collect-holes into dev

10cb32e03f Merge branch 'dev' into frontend/collect-holes

a03eeddc9b fix: Variable duplication in nested translation

530a1a1a97 fix: Extracting `sorry`s from coupled goals

143cd289bb fix: Extraction of sorry's from nested tactics

Compare 15 commits »

aniva created pull request aniva/Pantograph#107 2024-10-05 10:30:18 -07:00

feat: Error reporting in frontend

aniva created branch frontend/error in aniva/Pantograph 2024-10-05 10:29:55 -07:00

aniva pushed to frontend/error at aniva/Pantograph 2024-10-05 10:29:55 -07:00

aniva pushed to env/catalog at aniva/Pantograph 2024-10-05 10:29:36 -07:00

b9b8265fd5 chore: Remove more thin wrappers

aniva opened issue aniva/Pantograph#106 2024-10-04 22:01:56 -07:00

Report error when frontend parsing fails

aniva created pull request aniva/Pantograph#105 2024-10-04 12:59:16 -07:00

feat: Remove most filters on catalog

aniva pushed to env/catalog at aniva/Pantograph 2024-10-04 12:59:02 -07:00

3c808506c1 feat: Remove most filters on catalog

aniva created branch env/catalog in aniva/Pantograph 2024-10-04 12:59:02 -07:00

aniva pushed to ui/fish at aniva/config 2024-10-03 17:56:16 -07:00

b9a1bf3dd3 feat: Set bg color to differentiate prompt

aniva created pull request aniva/config#21 2024-10-03 17:27:21 -07:00

feat: Use two line fish prompt

aniva pushed to ui/fish at aniva/config 2024-10-03 17:27:04 -07:00

1c49965dcb feat: Use two line fish prompt

aniva created branch ui/fish in aniva/config 2024-10-03 17:27:04 -07:00

aniva deleted branch shell from aniva/config 2024-10-03 17:15:31 -07:00

aniva pushed to main at aniva/config 2024-10-03 17:09:50 -07:00

c130537892 Merge pull request 'feat: Kando' (#20) from ui/kando into main

274d09ce54 feat: macOS keybindings

0c51670191 feat: Basic Kando menu

Compare 3 commits »

aniva merged pull request aniva/config#20 2024-10-03 17:09:48 -07:00

feat: Kando

aniva created pull request aniva/config#20 2024-10-03 17:09:20 -07:00

feat: Kando

aniva opened issue aniva/Pantograph#104 2024-10-03 15:49:01 -07:00

goal.delete exceeds max recursion depth

aniva closed issue aniva/Pantograph#97 2024-10-03 15:43:31 -07:00

Parse and enter environment at arbitrary points of the input