idris-tutorial icon indicating copy to clipboard operation
idris-tutorial copied to clipboard
verified publisher icon idris-lang

please mark this repo archived

Open juhp opened this issue 2 months ago • 1 comments

Archiving this repo would be better to avoid people come looking here by mistake.

juhp avatar Nov 01 '25 06:11 juhp

good point, thanks for bringing attention to it

andrevidela avatar Nov 01 '25 13:11 andrevidela