First steps with Agda: well founded recursionplayingwithpointers.com1 point·thedigitalengel··0 commentsOpen articleSaveView on HN