Similar to Standard_ML
5
56
67
78
89
913
13 (number)19
19 (number)40
40 (number)50
50 (number)70
70 (number)Clean
Clean (programming language)Clojure
ClojureDylan
Dylan (programming language)Egison
Elm (プログラミング言語)
Elm (programming language)F Sharp
F Sharp (programming language)F* (プログラミング言語)
F* (programming language)FP (プログラミング言語)
FP (programming language)Frenetic
Frenetic (programming language)Gleam (プログラミング言語)
Gleam (programming language)Idris (プログラミング言語)
Idris (programming language)ISWIM
ISWIMJq (プログラミング言語)
Kent Recursive Calculator
Kent Recursive CalculatorLazy K
Lean (証明アシスタント)
Lean (proof assistant)LISP
Lisp (programming language)Lush (プログラム言語)