4 ms·Slightly ignorant comment from a Haskell n00b - how does Agda play into this?by martin1975 9y agoSlightly ignorant comment from a Haskell n00b - how does Agda play into this?