ParentFull threadSae5waip·The latter.Check out https://en.wikipedia.org/wiki/Agda_(programming_language)View on HN