This package provides a major mode for editing Agda library files.
It binds files with suffix ‘.agda-lib’ to ‘agda-lib-mode’ in
‘auto-mode-alist’.