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 pushed to nix/toolchain at aniva/Pantograph 2024-02-13 12:31:38 -08:00
3e321516f7 chore: Expose `leanPkgs` in flake
aniva created pull request aniva/Pantograph#46 2024-02-05 11:50:57 -08:00
feat: Add lake and lean to the package output
aniva pushed to nix/toolchain at aniva/Pantograph 2024-02-05 11:50:30 -08:00
8b67e7006a feat: Add lake and lean to the package output
aniva created branch nix/toolchain in aniva/Pantograph 2024-02-05 11:49:43 -08:00
aniva pushed to nix/toolchain at aniva/Pantograph 2024-02-05 11:49:43 -08:00
7c836cf766 Add lake and lean to the package output
aniva pushed to goal/relation at aniva/Pantograph 2024-01-30 17:45:47 -08:00
4a98b90289 chore: Version bump to 0.2.12-alpha
aniva pushed to goal/relation at aniva/Pantograph 2024-01-30 17:22:51 -08:00
5720c72515 feat: Prevent crash during rootExpr call
aniva pushed to goal/relation at aniva/Pantograph 2024-01-30 16:37:59 -08:00
6d22841a27 doc: Correct comment about parent filling expr
aniva created pull request aniva/Pantograph#45 2024-01-24 18:21:01 -08:00
feat: Print parent expression assignment
aniva pushed to goal/relation at aniva/Pantograph 2024-01-24 18:19:34 -08:00
9a5ee49778 feat: Print parent expression assignment
aniva created branch goal/relation in aniva/Pantograph 2024-01-24 18:19:34 -08:00
aniva pushed tag v0.2.11 to aniva/Pantograph 2024-01-17 22:28:48 -08:00
aniva pushed to dev at aniva/Pantograph 2024-01-17 22:27:45 -08:00
a811decf84 Merge pull request 'test: Option controlled mvar instantiation' (#44) from goal/diag into dev
79b6974172 Merge branch 'dev' into goal/diag
efa956464d test: Option controlled mvar instantiation
Compare 3 commits »
aniva merged pull request aniva/Pantograph#44 2024-01-17 22:27:45 -08:00
test: Option controlled mvar instantiation
aniva deleted branch goal/diag from aniva/Pantograph 2024-01-17 22:27:45 -08:00
aniva pushed to goal/diag at aniva/Pantograph 2024-01-17 14:07:02 -08:00
79b6974172 Merge branch 'dev' into goal/diag
42c3da4a67 Merge pull request 'feat: Print inductives, constructors, and recursors in env.inspect' (#43) from env/inspect into dev
93a34f9fda feat: Print constructor and recursor info
a1421439f8 feat: Print inductives in env.inspect
Compare 4 commits »
aniva pushed to dev at aniva/Pantograph 2024-01-17 14:02:57 -08:00
42c3da4a67 Merge pull request 'feat: Print inductives, constructors, and recursors in env.inspect' (#43) from env/inspect into dev
93a34f9fda feat: Print constructor and recursor info
a1421439f8 feat: Print inductives in env.inspect
Compare 3 commits »
aniva merged pull request aniva/Pantograph#43 2024-01-17 14:02:56 -08:00
feat: Print inductives, constructors, and recursors in env.inspect
aniva created pull request aniva/Pantograph#44 2024-01-17 13:25:25 -08:00
test: Option controlled mvar instantiation
aniva created branch goal/diag in aniva/Pantograph 2024-01-16 16:45:08 -08:00