Fix language pragma formatting.
Fix Idris indent and comment formatting.