2 ms·Hey type hacking is hard. Agda is kinda easier for someone who knows haskell, but hard nonetheless.by ixaxaar 5y agoHey type hacking is hard. Agda is kinda easier for someone who knows haskell, but hard nonetheless.