Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Group
  • https://leni.sh

  • Admin of this website

  • Joined on 2023-08-21
Repositories
10
 Projects Packages Public Activity Starred Repositories
2
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 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 deleted branch env/add-decl from aniva/Pantograph 2023-12-26 12:41:03 -08:00
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 deleted branch core/loop from aniva/Pantograph 2023-12-14 05:46:42 -08:00
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 »
aniva merged pull request aniva/Pantograph#40 2023-12-14 05:46:40 -08:00
feat: Change the main interaction monad
aniva created pull request aniva/Pantograph#41 2023-12-13 19:36:23 -08:00
feat: Add definitions and theorems to the environment
aniva pushed to env/add-decl at aniva/Pantograph 2023-12-13 19:35:44 -08:00
02889510b2 feat: env_add command
aniva pushed to env/add-decl at aniva/Pantograph 2023-12-12 18:56:55 -08:00
12544b81ee chore: Rename lib. commands to env.
aniva created branch env/add-decl in aniva/Pantograph 2023-12-12 18:56:55 -08:00
aniva pushed to core/loop at aniva/Pantograph 2023-12-12 18:39:23 -08:00
ab1b309c72 feat: Use CoreM as the main interaction monad
aniva created pull request aniva/Pantograph#40 2023-12-11 16:22:16 -08:00
feat: Change the main interaction monad
aniva pushed to march/russian at aniva/OpenMusicScores 2023-12-09 21:14:14 -08:00
28498fc18b Farewell of Slavianka: Add Fedotov version lyrics
aniva created branch march/russian in aniva/OpenMusicScores 2023-12-09 21:14:13 -08:00