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 to goal/automatic at aniva/Pantograph 2024-09-07 14:03:44 -07:00
e4d53733d0 feat: Simplify repl
68dac4c951 chore: Version bump to 0.2.18
Compare 2 commits »
aniva pushed to lib/export at aniva/Pantograph 2024-09-07 13:55:23 -07:00
4042ec707e refactor: Use `Meta.mapMetaM`
aniva pushed to lib/export at aniva/Pantograph 2024-09-07 13:48:15 -07:00
8394e1b468 feat: Expose `conv` and `calc` tactics
aniva commented on pull request aniva/Pantograph#92 2024-09-06 23:20:10 -07:00
feat: Automatic Mode

There's not a single unit test for this. Maybe I should write one, but I'm tired.

aniva commented on pull request aniva/Pantograph#94 2024-09-06 23:19:07 -07:00
feat: Expose GoalState functions

It is a bit tricky how we can expose the calc tactic. This tactic relies on special data in the goal state object - it isn't a normal Syntax -> TacticM Unit. This data is even used during its…

aniva opened issue aniva/Pantograph#95 2024-09-06 22:38:16 -07:00
Pickling
aniva pushed to goal/automatic at aniva/Pantograph 2024-09-06 22:22:44 -07:00
9b3eef35ec fix: Forgot to include the current goals in resume
aniva pushed to goal/automatic at aniva/Pantograph 2024-09-06 22:02:02 -07:00
a7b30af36b refactor: Refactor REPL out of main library
aniva pushed to goal/automatic at aniva/Pantograph 2024-09-06 21:32:13 -07:00
e2ad6ce6b3 doc: Documentation for automatic mode
37473b3efb feat: Automatic mode (auto resume)
Compare 2 commits »
aniva commented on pull request aniva/Pantograph#94 2024-09-06 21:18:28 -07:00
feat: Expose GoalState functions

Need to expose the conv and convExit functions as well.

aniva pushed to goal/automatic at aniva/Pantograph 2024-09-06 21:07:41 -07:00
82d99ccf9b refactor: Use `MVarId` across the board
aniva created pull request aniva/Pantograph#94 2024-09-06 18:06:40 -07:00
feat: Expose GoalState functions
aniva opened issue aniva/Pantograph#93 2024-09-06 18:02:49 -07:00
Refactor out the Pantograph executable and lib into different targets
aniva created pull request aniva/Pantograph#92 2024-09-06 17:53:00 -07:00
feat: Automatic Mode
aniva created branch goal/automatic in aniva/Pantograph 2024-09-06 17:52:25 -07:00
aniva pushed to goal/automatic at aniva/Pantograph 2024-09-06 17:52:25 -07:00
aniva pushed to lib/export at aniva/Pantograph 2024-09-05 12:03:38 -07:00
02556f3c79 feat: Expose `GoalState` functions
aniva created branch lib/export in aniva/Pantograph 2024-09-05 12:03:37 -07:00
aniva created pull request aniva/config#18 2024-09-04 15:42:51 -07:00
feat: rest module, fix: lsp mode hook
aniva pushed to emacs at aniva/config 2024-09-04 15:42:02 -07:00
92cf668e63 feat: Add `rest` module. Remove `snippets`
087a5b373c fix: LSP Mode Hook
Compare 2 commits »