3 ms·

How is it better than tdd in Idris book?

• jshaqaw 4y ago
  I can’t say. I’m just a hobbyist dilettante here. Maybe that other book is great too but I don’t know it. One fun thing about a language so deep down the rabbit hole as Idris is the mean caliber of people involved is higher than average.