Idris
#プログラミング言語
A purely functional programming language with first class types
Idris 1とIdris 2があって、後者はまだ正式リリースされていない（v1.0.0未満）らしい
Idris 1についてのわかりやすい記事（Zennの本）がある：プログラング言語Idrisに入門させたい（v0.9）
Idris 2について、
公式ドキュメントっぽいのはこれ：Documentation for the Idris 2 Language — Idris2 0.0 documentation
起動時に読み込まれるpreludeのAPIと標準ライブラリ的なbaseのAPI
preludeには四則演算を行う関数（演算子？）とかIOとかBoolとかListとかがある
baseにはEitherとかMaybeとかFileとかがある
Idris 1のbase にはData.Complexがあったらしいけど2にはないね
docs.rsのほうが便利だな
検索機能とかないんですかね
idris2 で REPL を起動できる
:s で検索ができる
Main> :s List Char -> String
Prelude.pack : List Char -> String
Turns a list of characters into a string.
Totality: total
Visibility: public export
Prelude.fastPack : List Char -> String
びっくりするほど便利
idris2 <filename> -x main で mainを実行できる