2 ms·
My colleagues use Agda but only for things like protocols or core features, Haskell is better for general purpose code
by exdsq 6y ago
My colleagues use Agda but only for things like protocols or core features, Haskell is better for general purpose code