Purely Functional Programming Language
Mathematical_Software › Purely Functional Programming Language · Ranked by notability
3
Articles
0
Images
3
Websites Tracked
1
Pages
Also in Mathematical_Software
All Mathematical_Software
Mathematical Software (2)
Programming Language (2)
Functional Programming Language (1)
Numerical Software (1)
Proof Assistant (1)
Software Calculator (1)
Software Category (1)
Software Library (1)
Software (1)
Econometrics Software (1)
Visual Programming Language (1)
Formula Editor (1)
Free Software (1)
Mathematical Software (2)
Programming Language (2)
Functional Programming Language (1)
Numerical Software (1)
Proof Assistant (1)
Software Calculator (1)
Software Category (1)
Software Library (1)
Software (1)
Econometrics Software (1)
Visual Programming Language (1)
Formula Editor (1)
Free Software (1)
Rocq prover
CreativeWork
proof assistant
Agda
Place
dependently typed, purely functional programming language and proof assistant
Idris
Thing
purely functional programming language
1