3 ms·Have a google for "hole driven development haskell" for a few possible ideas.by boothead 13y agoHave a google for "hole driven development haskell" for a few possible ideas.tel 13y agoOh! Yes! Coding in Agda is incredible sometimes.dllthomas 13y agoRight, I didn't mean to imply there was nothing interesting happening in that direction!