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 commented on issue aniva/Pantograph#132 2024-12-05 15:35:24 -08:00
Proof state merger

This will probably involve some application of the MetaTranslateM monad. If a goal state has two children, their metavariable names may clash, and there would need to be a distinguishing factor…

aniva opened issue aniva/Pantograph#132 2024-12-05 15:34:19 -08:00
Proof state merger
aniva pushed to serial/pickle at aniva/Pantograph 2024-12-05 14:31:57 -08:00
c54ce93ef5 feat: Goal State IO in REPL
105fb7af4b feat: Goal state pickling
Compare 2 commits »
aniva pushed to system/darwin at aniva/config 2024-12-05 11:25:11 -08:00
1e04425da6 doc: MacOS setup guide
aniva pushed to system/darwin at aniva/config 2024-12-04 16:58:48 -08:00
312a955fd6 chore: General update
aniva pushed to system/darwin at aniva/config 2024-12-04 16:57:41 -08:00
9482790891 fix: LaTeX and JIS keyboard support. Remove karabiner
aniva pushed to dev at aniva/Pantograph 2024-12-04 11:24:17 -08:00
49b0101862 Merge pull request 'feat: Erase macro scopes in sexp' (#130) from delate/sexp into dev
44aef76a10 refactor: Remove sanitization for mvarId/fvarId
a8e7a1a726 feat: Erase macro scopes in sexp
Compare 3 commits »
aniva deleted branch delate/sexp from aniva/Pantograph 2024-12-04 11:24:17 -08:00
aniva merged pull request aniva/Pantograph#130 2024-12-04 11:24:16 -08:00
feat: Erase macro scopes in sexp
aniva pushed to serial/pickle at aniva/Pantograph 2024-12-04 10:44:49 -08:00
0f946880ae test: Environment pickling
aniva pushed to system/darwin at aniva/config 2024-12-03 00:50:29 -08:00
ea608b0bb9 feat: Add noto font
aniva opened issue aniva/Pantograph#131 2024-12-03 00:39:35 -08:00
Add aarch64-{linux,darwin} targets in flake
aniva pushed to system/darwin at aniva/config 2024-12-02 21:46:55 -08:00
8ba90ae469 Merge branch 'emacs' into system/darwin
fb053b95dc fix: LSP config incompatibility and lean mode
Compare 2 commits »
aniva pushed to system/darwin at aniva/config 2024-12-02 21:34:00 -08:00
720aae760c fix: Remove unnecessary cask
aniva pushed to system/darwin at aniva/config 2024-12-02 21:32:57 -08:00
1f05e5d698 fix: Tap `homebrew/cask` instead
aniva pushed to system/darwin at aniva/config 2024-12-02 19:42:43 -08:00
fae6f75536 feat: Configuration for `sphalerite`
aniva pushed to serial/pickle at aniva/Pantograph 2024-11-30 23:21:37 -08:00
7c9b092200 test: Dual monad testing stub
aniva pushed to misc/build at aniva/Pantograph 2024-11-30 21:58:04 -08:00
aniva created branch misc/build in aniva/Pantograph 2024-11-30 21:58:04 -08:00
aniva pushed to delate/sexp at aniva/Pantograph 2024-11-26 12:57:53 -08:00
44aef76a10 refactor: Remove sanitization for mvarId/fvarId