@misc{agda,
 title = {Agda},
 author = {{Agda Development Team}},
 year = {2024},
 url = {https://wiki.portal.chalmers.se/agda}
}