|
|
|
|
|
|
by VladimirGolovin
731 days ago
|
|
|
Thanks to ChatGPT, I'm much less hesitant to delve (haha) into unfamiliar topics. "Hi! I'm a beginner programmer. I'm interested in learning Idris but I know next to nothing about dependent types. Could you explain them in a couple of sentences?" Then, after the answer, I ask follow-up questions. I also try to check the answers against other sources, e.g. docs or Wikipedia in order to spot hallucinations. |
|
|