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 emacs at aniva/config 2024-09-04 15:40:49 -07:00
dbbc4478eb Merge pull request 'feat: SCAD and telegram modes' (#16) from emacs into main
aniva deleted branch bug/eq-detection-in-congruence from aniva/Pantograph 2024-09-03 19:19:11 -07:00
aniva pushed to dev at aniva/Pantograph 2024-09-03 19:19:11 -07:00
9c40a83956 fix: Instantiate type when detecting `eq`
aniva merged pull request aniva/Pantograph#91 2024-09-03 19:19:10 -07:00
fix: Instantiate type when detecting `eq`
aniva created pull request aniva/Pantograph#91 2024-09-03 19:07:00 -07:00
fix: Instantiate type when detecting eq
aniva pushed to bug/eq-detection-in-congruence at aniva/Pantograph 2024-09-03 19:06:38 -07:00
9c40a83956 fix: Instantiate type when detecting `eq`
aniva created branch bug/eq-detection-in-congruence in aniva/Pantograph 2024-09-03 19:06:38 -07:00
aniva deleted branch bug/hidden-fvar-in-define from aniva/Pantograph 2024-09-03 18:15:59 -07:00
aniva pushed to dev at aniva/Pantograph 2024-09-03 18:15:59 -07:00
f8df2599f9 fix: Use `replaceMainGoal` instead of `setGoals`
8d2cd6dfc7 fix: Bindings in prograde tactics
Compare 2 commits »
aniva merged pull request aniva/Pantograph#90 2024-09-03 18:15:58 -07:00
fix: Bindings in prograde tactics
aniva commented on issue aniva/config#13 2024-09-03 17:01:29 -07:00
Emacs freezes while using LSP

Maybe its a problem of snippets. Trying without it on Mellite.

aniva created pull request aniva/config#17 2024-09-03 16:59:58 -07:00
doc: Add system installation guide
aniva created branch system in aniva/config 2024-09-03 16:59:38 -07:00
aniva pushed to system at aniva/config 2024-09-03 16:59:38 -07:00
b057743c86 doc: Add system installation guide
aniva created pull request aniva/Pantograph#90 2024-09-03 14:19:50 -07:00
fix: Bindings in prograde tactics
aniva pushed to bug/hidden-fvar-in-define at aniva/Pantograph 2024-09-03 14:19:03 -07:00
f8df2599f9 fix: Use `replaceMainGoal` instead of `setGoals`
aniva created branch bug/hidden-fvar-in-define in aniva/Pantograph 2024-09-03 14:16:20 -07:00
aniva pushed to bug/hidden-fvar-in-define at aniva/Pantograph 2024-09-03 14:16:20 -07:00
8d2cd6dfc7 fix: Bindings in prograde tactics
aniva pushed to wayland/sway at aniva/config 2024-09-03 13:15:22 -07:00
7562b4d747 Merge branch 'main' into wayland/sway
9f9c234161 Merge pull request 'fix: Hyprland config update, eww bar integration' (#15) from wayland/hypr into main
0d697fa202 Merge branch 'main' into wayland/hypr
dbbc4478eb Merge pull request 'feat: SCAD and telegram modes' (#16) from emacs into main
2caf9a8792 feat: SCAD and telegram modes
Compare 21 commits »
aniva pushed to main at aniva/config 2024-09-03 13:15:08 -07:00
9f9c234161 Merge pull request 'fix: Hyprland config update, eww bar integration' (#15) from wayland/hypr into main
0d697fa202 Merge branch 'main' into wayland/hypr
7a9bd87e73 fix: Remove deleted option
f4a62a983d feat: Add telegram, scad, cov modes. Fix conflict
a2eb17df7e feat: Eww bar colour adjustments
Compare 16 commits »