1 packages matching “futurlang”
v1.0.2 · 3 months ago
Proof-oriented programming language with a categorical kernel
No known vulnerabilities