thoughts:swar: minor content changes + use markdown.
thoughts:haskell-to-agda: formatting.