First steps with Agda: well founded recursion(playingwithpointers.com)1 points·by thedigitalengel·14 anni fa·0 commentsplayingwithpointers.comFirst steps with Agda: well founded recursionhttp://playingwithpointers.com/archives/8670 commentsPost comment—