learn-you-an-agda
learn-you-an-agda copied to clipboard
grammar fix: "three of reasons" -> "three reasons"
Just a simple grammar fix.