Provide Everything.agda
Merge pull request #4 from Fuuzetsu/everything

Provide Everything.agda