Post #801935

finished up an old post I had on well-founded relations and induction principles in agda: https://boarders.github.io/posts/well_founded_induction.html