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
12
 Projects Packages Public Activity Starred Repositories
9
aniva created pull request aniva/Pantograph#25 2023-10-29 12:59:51 -07:00
feat: Simplify printing of names and expressions
aniva pushed to io/serial at aniva/Pantograph 2023-10-29 12:57:41 -07:00
454a5bc6b9 feat: Simplify printing of function applications
afed5bbc8d chore: Version bump (breaking change)
e2526f11b1 feat: Print names in one segment separated with .
c2d606b9d9 feat: Simplify name printing
Compare 4 commits »
aniva pushed to anthems/english at aniva/OpenMusicScores 2023-10-28 21:41:18 -07:00
5c3c5f8ea5 "I Vow to Thee, My Country" phrasing
aniva closed issue aniva/Pantograph#18 2023-10-28 16:38:06 -07:00
Companion Generation
aniva commented on issue aniva/Pantograph#18 2023-10-28 16:38:06 -07:00
Companion Generation

Solved #20

aniva opened issue aniva/Pantograph#24 2023-10-28 16:37:48 -07:00
The option on GoalTacticResult.goals? is redundant
aniva pushed tag v0.2.6 to aniva/Pantograph 2023-10-28 15:29:41 -07:00
aniva pushed to io/serial at aniva/Pantograph 2023-10-28 15:29:22 -07:00
c19fd1bcfb Merge pull request 'Enable handling of m-Coupled goals' (#20) from goal/dependency into dev
427d819349 feat: Add REPL function for root expression
ca7a081cac Merge branch 'dev' into goal/dependency
82f5494718 feat: Add REPL command for assigning an expression
b381d89ff9 feat: Assigning a goal with an expression
Compare 26 commits »
aniva deleted branch goal/dependency from aniva/Pantograph 2023-10-27 19:30:22 -07:00
aniva pushed to dev at aniva/Pantograph 2023-10-27 19:30:22 -07:00
c19fd1bcfb Merge pull request 'Enable handling of m-Coupled goals' (#20) from goal/dependency into dev
427d819349 feat: Add REPL function for root expression
ca7a081cac Merge branch 'dev' into goal/dependency
82f5494718 feat: Add REPL command for assigning an expression
b381d89ff9 feat: Assigning a goal with an expression
Compare 12 commits »
aniva merged pull request aniva/Pantograph#20 2023-10-27 19:30:21 -07:00
Enable handling of m-Coupled goals
aniva pushed to goal/dependency at aniva/Pantograph 2023-10-27 15:41:26 -07:00
427d819349 feat: Add REPL function for root expression
aniva pushed to goal/dependency at aniva/Pantograph 2023-10-27 15:33:59 -07:00
ca7a081cac Merge branch 'dev' into goal/dependency
7dc6e4e549 Add documentation about flake
ba53e9087b feat: Add nix flake
Compare 3 commits »
aniva pushed to goal/dependency at aniva/Pantograph 2023-10-27 15:33:27 -07:00
82f5494718 feat: Add REPL command for assigning an expression
b381d89ff9 feat: Assigning a goal with an expression
Compare 2 commits »
aniva opened issue aniva/Pantograph#23 2023-10-26 22:52:48 -07:00
Print a delaborated sexp
aniva pushed to goal/dependency at aniva/Pantograph 2023-10-26 22:48:36 -07:00
e98fb77f33 refactor: Separate goal printing and processing
aniva pushed to game/touhou at aniva/OpenMusicScores 2023-10-26 20:51:18 -07:00
c999ad4655 bar fix
aniva pushed to goal/dependency at aniva/Pantograph 2023-10-26 11:22:31 -07:00
4ffd226cac test: m-coupled goals
aniva pushed to goal/dependency at aniva/Pantograph 2023-10-25 22:20:30 -07:00
0ecfa9fc26 feat: Display user name in Goal structure
aniva opened issue aniva/Pantograph#22 2023-10-25 21:35:31 -07:00
Use special handling to print compound names