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

  • Admin of this website

  • Joined on 2023-08-21
Repositories
10
 Projects Packages Public Activity Starred Repositories
2
aniva commented on issue aniva/Pantograph#77 2024-06-07 22:05:50 -07:00
Unclear error message

This is due to the autoBoundImplicit flag on the elaboration monad. It was there because of our handling of universe levels

aniva pushed to wayland/eww at aniva/config 2024-06-07 14:41:19 -07:00
a2eb17df7e feat: Eww bar colour adjustments
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-06-07 09:21:00 -07:00
8284bf22cd Fix some notes
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-06-06 23:14:48 -07:00
4f7c498bb5 The Gensokyo the Gods Loved
aniva opened issue aniva/Pantograph#77 2024-06-06 15:23:55 -07:00
Unclear error message
aniva pushed to goal/mapply at aniva/Pantograph 2024-06-05 16:15:10 -07:00
3a53493089 feat: Show delayed assignment in goal diag
aniva pushed to goal/mapply at aniva/Pantograph 2024-06-05 15:56:40 -07:00
6dcff8b151 fix: Print diag in mvar context
aniva pushed to goal/mapply at aniva/Pantograph 2024-06-05 13:45:29 -07:00
3c90c94645 fix: Execute instantiateAll in goal state diag
aniva pushed to wayland/eww at aniva/config 2024-06-03 00:04:02 -07:00
b48bfabe9a fix: Icon size to 25
07aef5a19b feat: eww temperature monitoring
Compare 2 commits »
aniva pushed to wayland/eww at aniva/config 2024-06-02 18:24:05 -07:00
9b2bd7ad99 feat: Simplification and time display
aniva pushed to wayland/eww at aniva/config 2024-06-02 15:29:14 -07:00
664e5ed27a chore: Remove unused hbar
aniva pushed to wayland/eww at aniva/config 2024-06-02 15:10:11 -07:00
45cddf8389 feat: Show current master/capture state
aniva pushed to wayland/eww at aniva/config 2024-06-02 15:03:22 -07:00
aecf181eac feat: Eww bar capture control
aniva pushed to wayland/eww at aniva/config 2024-06-02 07:18:18 -07:00
c601a17ae9 fix: eww stylesheet and window title
aniva pushed to wayland/eww at aniva/config 2024-06-02 06:21:50 -07:00
9147fa3fff feat: Move set-workspace to compositor-control
aniva pushed to wayland/eww at aniva/config 2024-06-02 06:15:12 -07:00
9ca97466a1 feat: Display hyprland title in eww. Doc update
aniva closed issue aniva/Pantograph#9 2024-05-31 20:27:45 -07:00
Extraction of tactics from syntax tree
aniva commented on issue aniva/Pantograph#9 2024-05-31 20:27:45 -07:00
Extraction of tactics from syntax tree

Solved by #76

aniva pushed to dev at aniva/Pantograph 2024-05-31 20:23:51 -07:00
67e7f22b0a Merge pull request 'feat: Extraction of tactics from compiler' (#76) from compile/tactic into dev
a2c5c7448c chore: Code simplification, version bump
855e771609 feat: Add compilation unit boundary command
b9b16ba0e9 refactor: Code cleanup
09628309a9 feat: Basic tactic extraction (before/after/tactic)
Compare 5 commits »
aniva merged pull request aniva/Pantograph#76 2024-05-31 20:23:51 -07:00
feat: Extraction of tactics from compiler