4 ms·
Agda, a dependently typed language. The syntax looks like Haskell, but the types are a lot more sophisticated.
by chriseidhof 18y ago
Agda, a dependently typed language. The syntax looks like Haskell, but the types are a lot more sophisticated.