Skip to content

Latest commit

 

History

History
3 lines (2 loc) · 86 Bytes

README.md

File metadata and controls

3 lines (2 loc) · 86 Bytes

(One day this will be) An Web Framework for Agda

Using Scotty to do the dirty work