idris2-tutorial icon indicating copy to clipboard operation
idris2-tutorial copied to clipboard

Published 20 hours ago • verified publisher icon stefan-hoeck

[ fix ] typo

Open chuwy opened this issue 4 months ago • 0 comments

chuwy avatar Oct 22 '24 05:10 chuwy