Idris2
https://github.com/idris-lang/Idris2
#プログラミング言語
関数型プログラミング言語
Idris