huynhtrankhanh / humanlike-coq

coq but acts more human. hopefully mobile friendly 👀
BSD Zero Clause License
0 stars 0 forks source link

Make a structure to keep track of the conversation #2

Closed huynhtrankhanh closed 1 year ago

huynhtrankhanh commented 1 year ago

We need to check for example whether the conversation is stuck on a function call and resolve the function call. Or whether we need to generate more tokens. All this can be done more cleanly with a dedicated structure.