Did they photoshop the screenshot from https://github.blog/changelog/2025-05-19-github-models-built... ? Other than the model id, it’s identical.
15 karma · joined February 9, 2014
I wrote my own error messages which were hopefully a bit more useful than that :)
I found the project fascinating. Of course this a completely different language to Idris, the only real relation is that it was also developed in St Andrews.