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

New Issue

aniva · 2024-04-03T18:32:16-07:00

aniva commented

2024-04-03 18:32:16 -07:00

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 0.3 milestone 2024-04-03 18:32:16 -07:00

aniva added the

labels 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 referenced this issue

2024-04-06 14:18:03 -07:00

feat: Add support for the `have`, `conv`, and `calc` tactics #59

aniva changed reference from ~~goal/tactic~~ to dev

2024-04-11 16:13:09 -07:00

aniva commented

2024-04-11 16:13:29 -07:00

#59

aniva closed this issue

2024-04-11 16:13:29 -07:00

Sign in to join this conversation.

No Label

No Milestone

No project

No Assignees

1 Participants

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

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

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