Add agda source
Add lib-0.7