Recap of Front-end Development in 2016 Recap of Front-end Development in 2016 The year of the UI component, and tree of UI components , for building complex UI’s. No longer ma...
Generating HTML Options Generating HTML To generate highlighted, hyperlinked web pages from source code, run the following command in a shell: $ agda -- html -- html - dir =...