Similar to XSL_Transformations
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 Calculator
Lazy K
Lean (証明アシスタント)
Lean (proof assistant)
LISP
Lisp (programming language)
Lush (プログラム言語)
Mathematica
Wolfram Mathematica
Miranda
Miranda (programming language)ML (プログラミング言語)
ML (programming language)
Mozartプログラミングシステム
Mozart Programming System
OCaml
OCamlOz (プログラミング言語)
Oz (programming language)
PureScript
PureScriptREBOL
RebolRefal
RefalR言語
R (programming language)
Scheme
Scheme (programming language)
Standard ML
Standard ML
Agda
Agda (programming language)CPL (圏論プログラミング言語)
Scala
Scala (programming language)