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 opened issue aniva/Pantograph#39 2023-12-08 15:52:38 -08:00

The main interaction monad should be MetaM and not TermElabM

aniva pushed tag v0.2.10-alpha to aniva/Pantograph 2023-12-07 12:46:00 -08:00

aniva deleted branch misc/version from aniva/Pantograph 2023-12-07 12:38:29 -08:00

aniva pushed to dev at aniva/Pantograph 2023-12-07 12:38:29 -08:00

de2688ccfa chore: Version downgrade to 0.2.10-alpha

aniva merged pull request aniva/Pantograph#38 2023-12-07 12:38:28 -08:00

chore: Version downgrade to 0.2.10-alpha

aniva pushed to misc/version at aniva/Pantograph 2023-12-07 12:38:10 -08:00

de2688ccfa chore: Version downgrade to 0.2.10-alpha

aniva created pull request aniva/Pantograph#38 2023-12-07 12:37:35 -08:00

chore: Version downgrade to 0.2.9-alpha

aniva created branch misc/version in aniva/Pantograph 2023-12-07 12:37:17 -08:00

aniva pushed to misc/version at aniva/Pantograph 2023-12-07 12:37:17 -08:00

a10f9b9672 chore: Version downgrade to 0.2.9-alpha

aniva deleted branch io/sexp from aniva/Pantograph 2023-12-07 12:33:04 -08:00

aniva pushed to dev at aniva/Pantograph 2023-12-07 12:33:04 -08:00

4871133027 Merge pull request 'fix: Printing projection leads to crash' (#37) from io/sexp into dev

2dc7657e2a doc: getUsedConstants bug about projections

ccf5a03647 fix: Printing projection leads to crash

Compare 3 commits »

aniva merged pull request aniva/Pantograph#37 2023-12-07 12:33:02 -08:00

fix: Printing projection leads to crash

aniva pushed to io/sexp at aniva/Pantograph 2023-12-06 15:05:25 -08:00

2dc7657e2a doc: getUsedConstants bug about projections

aniva created pull request aniva/Pantograph#37 2023-12-06 14:37:15 -08:00

fix: Printing projection leads to crash

aniva pushed to io/sexp at aniva/Pantograph 2023-12-05 22:46:21 -08:00

ccf5a03647 fix: Printing projection leads to crash

aniva created branch io/sexp in aniva/Pantograph 2023-12-05 22:46:21 -08:00

aniva deleted tag v0.2.10 from aniva/Pantograph 2023-12-05 20:27:04 -08:00

aniva pushed tag v0.2.10 to aniva/Pantograph 2023-12-05 20:23:03 -08:00

aniva deleted branch library/catalog from aniva/Pantograph 2023-12-05 20:22:40 -08:00

aniva pushed to dev at aniva/Pantograph 2023-12-05 20:22:40 -08:00

56966b27cf Merge pull request 'feat: Handling of private names' (#36) from library/catalog into dev

9276d47e0d Merge branch 'dev' into library/catalog

cf856d2880 chore: Version bump

da74258dd1 feat!: Display public name only if name is private

9f2b07757f feat: Display whether a symbol is private

Compare 7 commits »