1. Agda Issue # 2709. Retrieved 2020-06-30 fromhttps://github.com/ Víctor López Juan Francesco Mazzoli Nils Anders Danielsson Ulf Agda Issue # 2709. Retrieved 2020-06-30 fromhttps://github.com/ Víctor López Juan Francesco Mazzoli Nils Anders Danielsson Ulf
2. agda/agda/issues/2709 Norell Andrea Vezzosi Andreas Abel etal 2020. +T.og https: Andreas Abel and Brigite Pientka. 2011. Higher-Order Dynamic Pat-//doi.org/10.5281/zenodo.3924250 agda/agda/issues/2709 Norell Andrea Vezzosi Andreas Abel et al. 2020. +T.og https: Andreas Abel and Brigite Pientka. 2011. Higher-Order Dynamic Pat-//doi.org/10.5281/zenodo.3924250
3. tern Unification for Dependent Types and Records. TIynped Lambda Víctor López Juan and Ulf Norell. 2018. Internal error in the presence tern Unification for Dependent Types and Records. TIynped Lambda Víctor López Juan and Ulf Norell. 2018. Internal error in the presence
4. Calculi and Applications (TLCA 2011 ). https://doi.org/10.1007/978-3-of unsatisfiable constraints. Agda Issue #3027. Retrieved 2020-06-30 10.1007/978-3-ofunsatisfiableconstraints.AgdaIssue#3027.Retrieved2020-06-30 Calculi and Applications (TLCA 2011 ). https://doi.org/10.1007/978-3-of unsatisfiable constraints. Agda Issue #3027. Retrieved 2020-06-30 10.1007/978-3-ofunsatisfiableconstraints.AgdaIssue#3027.Retrieved2020-06-30
5. 642-21691-6_5 from https://github.com/agda/agda/issues/3027 Robin Adams. 2004. A modular hierarchy of logical frame- Lena Magnusson. 1994. The Implementation of ALF-a Proof Editor 642-21691-6_5 from https://github.com/agda/agda/issues/3027 Robin Adams. 2004. A modular hierarchy of logical frame- Lena Magnusson. 1994. The Implementation of ALF-a Proof Editor