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

Published 20 hours ago • verified publisher icon stefan-hoeck

[ wip ] Appendix on structuring Idris applications

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

stefan-hoeck avatar Apr 21 '22 11:04 stefan-hoeck