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 branch serial/goal in aniva/Pantograph 2024-04-12 12:37:58 -07:00
aniva pushed to goal/calc at aniva/Pantograph 2024-04-11 17:58:50 -07:00
7a4d462a87 Merge branch 'dev' into goal/calc
4d4f660f3f chore: Update version
Compare 2 commits »
aniva pushed to dev at aniva/Pantograph 2024-04-11 17:58:25 -07:00
4d4f660f3f chore: Update version
aniva deleted branch misc/version from aniva/Pantograph 2024-04-11 17:58:25 -07:00
aniva merged pull request aniva/Pantograph#68 2024-04-11 17:58:24 -07:00
chore: Update version to 0.2.15
aniva created pull request aniva/Pantograph#68 2024-04-11 17:58:11 -07:00
chore: Update version to 0.2.15
aniva pushed to misc/version at aniva/Pantograph 2024-04-11 17:57:35 -07:00
4d4f660f3f chore: Update version
aniva pushed to misc/version at aniva/Pantograph 2024-04-11 17:57:20 -07:00
f20ee8dc87 Merge pull request 'feat: Add support for the `have`, `conv`, and `calc` tactics' (#59) from goal/have-conv-calc into dev
a41b95e540 Merge branch 'dev' into goal/have-conv-calc
a11df9f2e9 feat: Print recursor rules
ed220bc7fb doc: New tactics in README.md
7eb5419f36 feat: REPL interface for `calc`
Compare 230 commits »
aniva opened issue aniva/Pantograph#67 2024-04-11 17:55:21 -07:00
Extraction of step-based atomization
aniva pushed to goal/calc at aniva/Pantograph 2024-04-11 16:30:01 -07:00
a864c4d3ff refactor: Code simplification
aniva pushed to goal/calc at aniva/Pantograph 2024-04-11 16:25:46 -07:00
e834765896 refactor: Code simplification
aniva pushed to goal/calc at aniva/Pantograph 2024-04-11 16:18:22 -07:00
dc6e79def7 doc: Update error message in interaction
aniva pushed to goal/calc at aniva/Pantograph 2024-04-11 16:16:07 -07:00
036fab0ad6 fix: Prevent incorrect inheritance of calc rhs
aniva commented on issue aniva/Pantograph#62 2024-04-11 16:13:37 -07:00
Update README.md

#59

aniva closed issue aniva/Pantograph#62 2024-04-11 16:13:37 -07:00
Update README.md
aniva closed issue aniva/Pantograph#57 2024-04-11 16:13:29 -07:00
Add support for have, conv, calc, tactics.
aniva commented on issue aniva/Pantograph#57 2024-04-11 16:13:29 -07:00
Add support for have, conv, calc, tactics.

#59

aniva created pull request aniva/Pantograph#66 2024-04-11 16:12:59 -07:00
fix: Prevent incorrectly inheritance of calc rhs
aniva created branch goal/calc in aniva/Pantograph 2024-04-11 16:11:44 -07:00
aniva pushed to goal/calc at aniva/Pantograph 2024-04-11 16:11:44 -07:00
f24b4d3b4c fix: Prevent incorrectly inheritance of calc rhs