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

  • Admin of this website

  • Joined on 2023-08-21
Repositories
22
 Projects Packages Public Activity Starred Repositories
2
Loading Heatmap…

aniva closed issue aniva/Pantograph#3

Dead code in proof tree

2023-08-23 13:22:25 -07:00

aniva pushed to dev at aniva/Pantograph

  • 85440e0278 Unify json and unknown error into command error

2023-08-23 13:22:19 -07:00

aniva deleted branch misc/cleanup from aniva/Pantograph

2023-08-23 13:22:19 -07:00

aniva merged pull request aniva/Pantograph#5

Remove dead code and consolidate error types

2023-08-23 13:22:18 -07:00

aniva created pull request aniva/Pantograph#5

Remove dead code and consolidate error types

2023-08-23 13:21:36 -07:00

aniva commented on issue aniva/Pantograph#4

Redundant error messages

This error category and `json` error have been consolidated into one `command` error, used to indicate an error that makes it impossible to proceed to any individual command function.

2023-08-23 13:16:07 -07:00

aniva created branch misc/cleanup in aniva/Pantograph

2023-08-23 13:15:16 -07:00

aniva pushed to misc/cleanup at aniva/Pantograph

  • 85440e0278 Unify json and unknown error into command error

2023-08-23 13:15:16 -07:00

aniva pushed to io/serial at aniva/Pantograph

2023-08-23 12:51:26 -07:00

aniva created pull request aniva/To-The-Stars#1

WIP: Up to chapter 10

2023-08-22 23:22:45 -07:00

aniva pushed to diagrams at aniva/To-The-Stars

2023-08-22 23:21:12 -07:00

aniva pushed to wiki at aniva/To-The-Stars

2023-08-22 23:21:12 -07:00

aniva created branch wiki in aniva/To-The-Stars

2023-08-22 23:21:12 -07:00

aniva created branch diagrams in aniva/To-The-Stars

2023-08-22 23:21:12 -07:00

aniva deleted branch notes from aniva/To-The-Stars

2023-08-22 23:21:03 -07:00

aniva created branch notes in aniva/To-The-Stars

2023-08-22 23:20:07 -07:00

aniva pushed to notes at aniva/To-The-Stars

2023-08-22 23:20:07 -07:00

aniva pushed to main at aniva/To-The-Stars

  • 6fb703a12e Add litwiki package stub and move ./notes to ./wiki

2023-08-22 23:19:50 -07:00

aniva opened issue aniva/Pantograph#4

Redundant error messages

2023-08-22 20:56:13 -07:00

aniva opened issue aniva/Pantograph#3

Dead code in proof tree

2023-08-22 20:26:43 -07:00