Add support for have, conv, calc, tactics. #57

Closed
opened 2024-04-03 18:32:16 -07:00 by aniva · 1 comment
Owner

The have tactic is special in that it handles the let-in expressions. conv and calc are needed by LLM training.

The `have` tactic is special in that it handles the `let-in` expressions. `conv` and `calc` are needed by LLM training.
aniva added this to the v0.3 milestone 2024-04-03 18:32:16 -07:00
aniva self-assigned this 2024-04-03 18:32:16 -07:00
aniva added reference goal/tactic 2024-04-03 18:32:19 -07:00
aniva changed reference from goal/tactic to dev 2024-04-11 16:13:09 -07:00
Author
Owner

#59

#59
aniva closed this issue 2024-04-11 16:13:29 -07:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: aniva/Pantograph#57
No description provided.