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#5 2023-08-23 13:21:36 -07:00

Remove dead code and consolidate error types

aniva commented on issue aniva/Pantograph#4 2023-08-23 13:16:07 -07:00

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.

aniva pushed to misc/cleanup at aniva/Pantograph 2023-08-23 13:15:16 -07:00

85440e0278 Unify json and unknown error into command error

aniva created branch misc/cleanup in aniva/Pantograph 2023-08-23 13:15:16 -07:00

aniva pushed to io/serial at aniva/Pantograph 2023-08-23 12:51:26 -07:00

e63f7c9afa Add proper printing of sorts

aniva created pull request aniva/To-The-Stars#1 2023-08-22 23:22:45 -07:00

WIP: Up to chapter 10

aniva pushed to wiki at 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 pushed to diagrams 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 deleted branch notes from aniva/To-The-Stars 2023-08-22 23:21:03 -07:00

aniva pushed to notes at aniva/To-The-Stars 2023-08-22 23:20:07 -07:00

aniva created branch notes in aniva/To-The-Stars 2023-08-22 23:20:07 -07:00

aniva pushed to main at aniva/To-The-Stars 2023-08-22 23:19:50 -07:00

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

aniva opened issue aniva/Pantograph#4 2023-08-22 20:56:13 -07:00

Redundant error messages

aniva opened issue aniva/Pantograph#3 2023-08-22 20:26:43 -07:00

Dead code in proof tree

aniva created pull request aniva/Pantograph#2 2023-08-22 09:58:54 -07:00

WIP: Add more serialisation options

aniva created branch io/serial in aniva/Pantograph 2023-08-22 09:57:12 -07:00

aniva pushed to io/serial at aniva/Pantograph 2023-08-22 09:57:12 -07:00

1d1fa60175 Move all json-string functions to Main.lean

aniva pushed to main at aniva/To-The-Stars 2023-08-21 23:31:54 -07:00

96df29b1f9 Restructure notes to prepare for branching