akjones / agda-integer-shenanigans

i am a sucker for punishment and hard maths, so i'm learning agda. here is some junk i threw together for this challenge: https://github.com/software-shokunin/feb-code-challenge