Don't throw an error when Agda is not installed.
Removed trailing whitespace.
Added a function that pretty prints an expression in a new buffer.
Added a function to split org-babel source blocks at point.
Split a long source block.
Use ido-ubiquitous for ido completion in e.g. describe-variable.
Added some documentation.
Delete trailing whitespace on save.