gemmaro / idris2-tutorial Goto Github PK
View Code? Open in Web Editor NEWThis project forked from stefan-hoeck/idris2-tutorial
Japanese translation of "Functional Programming in Idris 2"
Home Page: https://github.com/gemmaro/idris2-tutorial/tree/ja/translation/ja
License: BSD 3-Clause "New" or "Revised" License