4 ms·
Sometimes I really wish I could write nice dependently typed Haskell, but then I think it would be easier and more beneficial to just learn Agda or Idris.
by efnx 11y ago
Sometimes I really wish I could write nice dependently typed Haskell, but then I think it would be easier and more beneficial to just learn Agda or Idris.