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 pushed to dev at aniva/Pantograph 2024-04-08 10:37:29 -07:00

c629163aa1 perf: Lazy run print monads

aniva deleted branch serial/expr from aniva/Pantograph 2024-04-08 10:37:29 -07:00

aniva merged pull request aniva/Pantograph#63 2024-04-08 10:37:28 -07:00

perf: Lazy run print monads

aniva created pull request aniva/Pantograph#63 2024-04-08 10:33:32 -07:00

perf: Lazy run print monads

aniva pushed to serial/expr at aniva/Pantograph 2024-04-08 10:32:44 -07:00

c629163aa1 perf: Lazy run print monads

aniva created branch serial/expr in aniva/Pantograph 2024-04-08 10:32:44 -07:00

aniva deleted branch goal/relation from aniva/Pantograph 2024-04-08 10:30:08 -07:00

aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-07 17:04:11 -07:00

ab0d87450a feat: Conv tactic mode

aniva pushed to misc/lemon at aniva/OpenMusicScores 2024-04-07 15:22:02 -07:00

5131965b2f Lemon remainder, articulation, and finger position

aniva created pull request aniva/OpenMusicScores#8 2024-04-07 14:44:34 -07:00

Lemon (Yonezu Kenshi)

aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-07 14:32:47 -07:00

aba1d9be10 refactor: Metavariable set diff function

aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-07 14:22:34 -07:00

9d7c9598f5 feat: Partial implementation of `conv`

aniva pushed to misc/lemon at aniva/OpenMusicScores 2024-04-06 23:30:18 -07:00

02715c34d4 Lemon (part 1)

aniva created branch misc/lemon in aniva/OpenMusicScores 2024-04-06 23:30:18 -07:00

aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-06 22:05:01 -07:00

5925b6163a Merge branch 'dev' into goal/have-conv-calc

be44eadde5 Merge pull request 'fix: Auto bound implicit in elab' (#60) from elab/level into dev

d72a60f4e4 fix: Auto bound implicit in elab

Compare 3 commits »

aniva pushed to dev at aniva/Pantograph 2024-04-06 22:04:32 -07:00

be44eadde5 Merge pull request 'fix: Auto bound implicit in elab' (#60) from elab/level into dev

d72a60f4e4 fix: Auto bound implicit in elab

Compare 2 commits »

aniva merged pull request aniva/Pantograph#60 2024-04-06 22:04:32 -07:00

fix: Auto bound implicit in elab

aniva deleted branch elab/level from aniva/Pantograph 2024-04-06 22:04:32 -07:00

aniva opened issue aniva/Pantograph#62 2024-04-06 21:58:49 -07:00

Update README.md

aniva commented on issue aniva/Pantograph#61 2024-04-06 21:55:20 -07:00

Could not reference local context variables

Solved because I didn't use withContext