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

Published 20 hours ago • verified publisher icon stefan-hoeck

[ new ] installation notes for pack and Idris

Open stefan-hoeck opened this issue 2 years ago • 0 comments

stefan-hoeck avatar Oct 31 '22 09:10 stefan-hoeck