Similar to Haskell
第11SS装甲偵察大隊
第十一号掃海艇 (2代)
第十四号掃海艇
第十五号掃海艇
第十七号掃海艇
第十八号掃海艇
第21SS武装山岳師団
21st Waffen Mountain Division of the SS Skanderbeg
第29SS武装擲弾兵師団
29th Waffen Grenadier Division of the SS (1st Italian)
第36SS武装擲弾兵師団
Dirlewanger Brigade
第百九号哨戒艇
1048576
1048576
Elm (プログラミング言語)
Elm (programming language)F* (プログラミング言語)
F* (programming language)FP (プログラミング言語)
FP (programming language)
Frenetic
Frenetic (programming language)Idris (プログラミング言語)
Idris (programming language)
Lean (証明アシスタント)
Lean (proof assistant)
Mozartプログラミングシステム
Mozart Programming SystemOz (プログラミング言語)
Oz (programming language)
PureScript
PureScript
SATySFi
Standard ML
Standard ML
XSL Transformations
XSLTプログラミング言語
Programming language
プログラミング言語一覧
List of programming languages
プログラミング言語年表
History of programming languages
プログラミング言語の比較
Comparison of programming languages
A-0 System
A-0 System