4 ms·

Dependently typed programming and theorem proving in Haskell

• 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.