Similar to Lean_(証明アシスタント)
Common Lisp
Common Lisp:format(jpeg):mode_rgb():quality(90)/discogs-images/R-4620483-1370174981-5418.jpeg.jpg)
Dylan
Dylan (programming language)
Egison
Elm (プログラミング言語)
Elm (programming language)
Erlang
Erlang (programming language)F* (プログラミング言語)
F* (programming language)FP (プログラミング言語)
FP (programming language)Frenetic
Frenetic (programming language)Idris (プログラミング言語)
Idris (programming language)ISWIM
ISWIMJq (プログラミング言語)
Kent Recursive Calculator
Kent Recursive Calculator
Lazy K
LISP
Lisp (programming language)
Lush (プログラム言語)
Miranda
Miranda (programming language)ML (プログラミング言語)
ML (programming language)
Mozartプログラミングシステム
Mozart Programming System
OCaml
OCamlOz (プログラミング言語)
Oz (programming language)
PureScript
PureScriptREBOL
RebolRefal
RefalR言語
R (programming language)
SATySFi
Scheme
Scheme (programming language)
Standard ML
Standard MLXQuery
XQuery