Similar to Egison
Agda
Agda (programming language)Clean
Clean (programming language)Clojure
ClojureCommon Lisp
Common LispDylan
Dylan (programming language)Erlang
Erlang (programming language)F Sharp
F Sharp (programming language)Haskell
HaskellISWIM
ISWIMJq (プログラミング言語)
Kent Recursive Calculator
Kent Recursive CalculatorLazy K
LISP
Lisp (programming language)▲1 trendsLush (プログラム言語)
Miranda
Miranda (programming language)ML (プログラミング言語)
ML (programming language)OCaml
OCamlREBOL
RebolRefal
RefalR言語
R (programming language)▲1 trendsScala
Scala (programming language)Scheme
Scheme (programming language)XQuery
XQueryCPL (圏論プログラミング言語)
Mathematica
Wolfram MathematicaElm (プログラミング言語)
Elm (programming language)F* (プログラミング言語)
F* (programming language)FP (プログラミング言語)
FP (programming language)