Similar to Agda
Elm (プログラミング言語)
Elm (programming language)F* (プログラミング言語)
F* (programming language)FP (プログラミング言語)
FP (programming language)
Frenetic
Frenetic (programming language)
Lean (証明アシスタント)
Lean (proof assistant)
Mozartプログラミングシステム
Mozart Programming SystemOz (プログラミング言語)
Oz (programming language)
PureScript
PureScript
SATySFi
Standard ML
Standard ML
XSL Transformations
XSLTプログラミング言語
Programming language▼-1 trends
プログラミング言語一覧
List of programming languages▼-1 trends
プログラミング言語年表
History of programming languages
プログラミング言語の比較
Comparison of programming languages
A+
A+ (programming language)A-0 System
A-0 System
ABAP
ABAPABC (プログラミング言語)
ABC (programming language)ALGOL
ALGOL
Alloy (仕様記述言語)
Altair BASIC
Altair BASIC
APL
APL (programming language)APT (プログラミング言語)
APT (programming language)ArrowFuck
Asymptote
Asymptote (vector graphics language)Autocode
Autocode
AWK
AWK
