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
14
 Projects Packages Public Activity Starred Repositories
10
aniva created branch doc in aniva/Pantograph 2023-08-24 22:52:19 -07:00
aniva pushed tag 0.2.3 to aniva/Pantograph 2023-08-24 15:14:59 -07:00
aniva released "0.2.3: Full expression AST printing" at aniva/Pantograph 2023-08-24 15:14:59 -07:00
aniva pushed to dev at aniva/Pantograph 2023-08-23 13:29:02 -07:00
5978e5f4f3 Merge pull request 'Add more serialisation options' (#2) from io/serial into dev
7160f8aa61 Merge branch 'dev' into io/serial
e63f7c9afa Add proper printing of sorts
1d1fa60175 Move all json-string functions to Main.lean
Compare 4 commits »
aniva merged pull request aniva/Pantograph#2 2023-08-23 13:29:00 -07:00
Add more serialisation options
aniva opened issue aniva/Pantograph#6 2023-08-23 13:27:41 -07:00
The termination of Lean.Level serialization is not ensured
aniva pushed to io/serial at aniva/Pantograph 2023-08-23 13:25:42 -07:00
7160f8aa61 Merge branch 'dev' into io/serial
85440e0278 Unify json and unknown error into command error
Compare 2 commits »
aniva closed issue aniva/Pantograph#4 2023-08-23 13:22:30 -07:00
Redundant error messages
aniva closed issue aniva/Pantograph#3 2023-08-23 13:22:25 -07:00
Dead code in proof tree
aniva deleted branch misc/cleanup from aniva/Pantograph 2023-08-23 13:22:19 -07:00
aniva pushed to dev at aniva/Pantograph 2023-08-23 13:22:19 -07:00
85440e0278 Unify json and unknown error into command error
aniva merged pull request aniva/Pantograph#5 2023-08-23 13:22:18 -07:00
Remove dead code and consolidate error types
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 created branch misc/cleanup in aniva/Pantograph 2023-08-23 13:15:16 -07:00
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 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 wiki in aniva/To-The-Stars 2023-08-22 23:21:12 -07:00