First steps with Agda: provable factoringplayingwithpointers.com1 point·thedigitalengel··0 commentsOpen articleSaveView on HN