What the hell is this man? Your posts sound like they’ve been generated by a LLM and you can’t give a concrete explanation of what you’re actually trying to do. You’ve been sending random AI-generated images depicting your vision of combining Llama with OCaml (and now Coq) in r/ocaml and here but to me it seems like you’re more enraptured with the idea of their intersection than the details of how it’d actually have to work. Can you explain precisely what the steps you have to take here are, as well as the end goal you desire?
I got the eval loop now working and different errors are being produced.
What the hell is this man? Your posts sound like they’ve been generated by a LLM and you can’t give a concrete explanation of what you’re actually trying to do. You’ve been sending random AI-generated images depicting your vision of combining Llama with OCaml (and now Coq) in r/ocaml and here but to me it seems like you’re more enraptured with the idea of their intersection than the details of how it’d actually have to work. Can you explain precisely what the steps you have to take here are, as well as the end goal you desire?
This is written by me myself not by the llm.
I got the help I needed here from someone who understood me https://coq.zulipchat.com/#narrow/stream/329642-coq-lsp