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
13
 Projects Packages Public Activity Starred Repositories
9
aniva pushed tag v0.2.10 to aniva/Pantograph 2024-01-08 12:23:14 -08:00
aniva deleted branch io/serial from aniva/Pantograph 2024-01-08 12:21:47 -08:00
aniva pushed to dev at aniva/Pantograph 2024-01-08 12:21:47 -08:00
b29f7cb180 test: Simplify monad execution
aniva merged pull request aniva/Pantograph#42 2024-01-08 12:21:45 -08:00
test: Deserialization
aniva created pull request aniva/Pantograph#42 2024-01-07 14:20:57 -08:00
test: Deserialization
aniva pushed to io/serial at aniva/Pantograph 2024-01-07 14:14:45 -08:00
b29f7cb180 test: Simplify monad execution
aniva created branch io/serial in aniva/Pantograph 2024-01-07 14:14:45 -08:00
aniva closed issue aniva/Pantograph#1 2023-12-26 12:46:33 -08:00
Allow adding definitions to environments
aniva commented on issue aniva/Pantograph#1 2023-12-26 12:46:33 -08:00
Allow adding definitions to environments

#41 solved

aniva commented on issue aniva/Pantograph#39 2023-12-26 12:46:14 -08:00
The main interaction monad should be MetaM and not TermElabM

Fixed

aniva closed issue aniva/Pantograph#39 2023-12-26 12:46:14 -08:00
The main interaction monad should be MetaM and not TermElabM
aniva deleted branch env/add-decl from aniva/Pantograph 2023-12-26 12:41:03 -08:00
aniva pushed to dev at aniva/Pantograph 2023-12-26 12:41:03 -08:00
6e39b5ef8b Merge pull request 'feat: Add definitions and theorems to the environment' (#41) from env/add-decl into dev
77232d5a1e refactor: Rename Test/{Catalog,Environment}
22789436bd chore: Move environment functions to its own file
aca7dc9811 refactor: env. operations into its own file
3b83c81540 fix: Force instantiate all mvars in env.add
Compare 10 commits »
aniva merged pull request aniva/Pantograph#41 2023-12-26 12:41:02 -08:00
feat: Add definitions and theorems to the environment
aniva pushed to env/add-decl at aniva/Pantograph 2023-12-26 12:27:03 -08:00
77232d5a1e refactor: Rename Test/{Catalog,Environment}
aniva pushed to env/add-decl at aniva/Pantograph 2023-12-15 10:40:55 -08:00
22789436bd chore: Move environment functions to its own file
aca7dc9811 refactor: env. operations into its own file
Compare 2 commits »
aniva pushed to env/add-decl at aniva/Pantograph 2023-12-15 10:09:53 -08:00
3b83c81540 fix: Force instantiate all mvars in env.add
6c25cca46a test: env.add
Compare 2 commits »
aniva pushed to env/add-decl at aniva/Pantograph 2023-12-14 05:52:28 -08:00
2f3a91562a fix: env_add monads
aniva pushed to env/add-decl at aniva/Pantograph 2023-12-14 05:50:59 -08:00
09f5792d4a Merge branch 'dev' into env/add-decl
4076d8a7dd Merge pull request 'feat: Change the main interaction monad' (#40) from core/loop into dev
ab1b309c72 feat: Use CoreM as the main interaction monad
45beca0bc4 doc: TermElabM metavariable generation
1fb189a38f fix: Consolidate TermElabM blocks
Compare 6 commits »
aniva pushed to dev at aniva/Pantograph 2023-12-14 05:46:42 -08:00
4076d8a7dd Merge pull request 'feat: Change the main interaction monad' (#40) from core/loop into dev
ab1b309c72 feat: Use CoreM as the main interaction monad
45beca0bc4 doc: TermElabM metavariable generation
1fb189a38f fix: Consolidate TermElabM blocks
c76751861a fix: Change the main interaction monad to MetaM
Compare 5 commits »