put together some code blocks
ignoring agda interface files