Tag Archives: haskell agda

First steps with Agda: well founded recursion

Last week I finally got time to explore Agda in some detail; something I had on my list for a while. Agda is a dependently typed programming language. That means in Agda you can have a function of the type … Continue reading

Posted in Computers | Tagged | Leave a comment