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 goal/mapply at aniva/Pantograph 2024-06-11 15:21:46 -07:00
c0e6e3ec39 Merge branch 'parse/level' into goal/mapply
773a0afbd8 feat: Handling of universe level names in elab
Compare 2 commits »
aniva opened issue aniva/Pantograph#80 2024-06-11 15:07:12 -07:00
Expose the String.toName interface
aniva commented on issue aniva/Pantograph#77 2024-06-11 12:45:35 -07:00
Unclear error message

#79

aniva created pull request aniva/Pantograph#79 2024-06-11 12:45:29 -07:00
feat: Handling of universe level names in elab
aniva created branch parse/level in aniva/Pantograph 2024-06-11 12:45:07 -07:00
aniva pushed to parse/level at aniva/Pantograph 2024-06-11 12:45:07 -07:00
773a0afbd8 feat: Handling of universe level names in elab
aniva opened issue aniva/Pantograph#78 2024-06-10 13:03:06 -07:00
Add option for Meta.ppGoal
aniva commented on issue aniva/Pantograph#77 2024-06-10 13:01:20 -07:00
Unclear error message

We likely have to add proper explicit handling of universe levels. This has been the elephant in the room for a year. The downside is that the solver would have to be aware of it.

aniva pushed to game/touhou at aniva/OpenMusicScores 2024-06-10 11:53:01 -07:00
5dc9f82577 Merge branch 'main' into game/touhou
113fbb2cf4 Merge pull request 'Lemon (Yonezu Kenshi)' (#8) from misc/lemon into main
60b3ed9de6 Lemon finger position fix
5131965b2f Lemon remainder, articulation, and finger position
02715c34d4 Lemon (part 1)
Compare 5 commits »
aniva deleted branch misc/lemon from aniva/OpenMusicScores 2024-06-10 00:26:33 -07:00
aniva pushed to main at aniva/OpenMusicScores 2024-06-10 00:26:33 -07:00
113fbb2cf4 Merge pull request 'Lemon (Yonezu Kenshi)' (#8) from misc/lemon into main
60b3ed9de6 Lemon finger position fix
5131965b2f Lemon remainder, articulation, and finger position
02715c34d4 Lemon (part 1)
Compare 4 commits »
aniva merged pull request aniva/OpenMusicScores#8 2024-06-10 00:26:32 -07:00
Lemon (Yonezu Kenshi)
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-06-10 00:00:23 -07:00
ddfae30db4 Add key signature for touhou intro
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-06-09 23:15:45 -07:00
36dbc67ca1 Necrofantasia arpeggio, touhou intro with 3/4 time
aniva pushed to game/touhou at aniva/OpenMusicScores 2024-06-09 21:54:06 -07:00
f9cfec5133 Cleanup compilation error and add intro
aniva pushed to emacs at aniva/config 2024-06-09 00:40:22 -07:00
f4a62a983d feat: Add telegram, scad, cov modes. Fix conflict
aniva created branch emacs in aniva/config 2024-06-09 00:40:22 -07:00
aniva closed pull request aniva/config#10 2024-06-08 11:27:26 -07:00
feat: Emacs shell compatibility and SCAD mode
aniva deleted branch emacs from aniva/config 2024-06-08 11:27:26 -07:00
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