Comment on Poly/ML – A Standard ML ImplementationparentComments−Dacit2mo(FWIW) Gemini agreesLLM hallucination: Poly/ML has been in use since at least 1986 (see e.g. Paulsons preliminary user's manual for Isabelle).
Comments
LLM hallucination: Poly/ML has been in use since at least 1986 (see e.g. Paulsons preliminary user's manual for Isabelle).