Similar to Agda
Clojure
Clojure
Clean
Clean (programming language)
Common Lisp
Common Lisp:format(jpeg):mode_rgb():quality(90)/discogs-images/R-4620483-1370174981-5418.jpeg.jpg)
Dylan
Dylan (programming language)Egison
Erlang
Erlang (programming language)
F Sharp
F Sharp (programming language)
Idris (プログラミング言語)
Idris (programming language)ISWIM
ISWIMJq (プログラミング言語)
Kent Recursive Calculator
Kent Recursive Calculator
Lazy K
LISP
Lisp (programming language)
Lush (プログラム言語)
Mathematica
Wolfram Mathematica
Miranda
Miranda (programming language)ML (プログラミング言語)
ML (programming language)
OCaml
OCamlREBOL
RebolRefal
RefalR言語
R (programming language)▼-1 trends
Scheme
Scheme (programming language)XQuery
XQueryCPL (圏論プログラミング言語)
Scala
Scala (programming language)
Haskell
Haskell
Simula
SimulaZig (プログラミング言語)
Zig (programming language)