agdapad.quasicoherent.io/~Padova2024
Preview meta tags from the agdapad.quasicoherent.io website.
Linked Hostnames
8- 2 links toagdapad.quasicoherent.io
- 2 links towww.speicherleck.de
- 1 link togithub.com
- 1 link tojespercockx.github.io
- 1 link toplfa.github.io
- 1 link touni-augsburg.zoom-x.de
- 1 link towww.cs.bham.ac.uk
- 1 link towww.cse.chalmers.se
General Meta Tags
3- titleAgda in Padova
- content-typetext/html; charset=UTF-8
- viewportinitial-scale=1
Links
10- http://www.cse.chalmers.se/~peterd/papers/DependentTypesAtWork.pdf
- https://agdapad.quasicoherent.io
- https://agdapad.quasicoherent.io/~Padova
- https://github.com/jespercockx/agda-lecture-notes/raw/master/agda.pdf
- https://jespercockx.github.io/ohrid19-agda