Idris2
#Fleeting_Notes
Idris2
線形型
公式:
https://idris2.readthedocs.io/en/latest/
確認用
Q. Idris2
調査用
Google.icon
Idris2(日)
Google.icon
Idris2(英)
Wikipedia.icon
Idris2 - Wikipedia(日)
Idris2(検索) - Wikipedia(日)
Wikipedia.icon
Idris2 - Wikipedia(英)
Idris2(検索) - Wikipedia(英)