https://www.cambridge.org/core/journals/journal-of-functional-programming/article/cubical-agda-a-dependently-typed-programming-language-with-univalence-and-higher-inductive-types/839F14B5227969B039D7B57AA8272C6B
Cubical Agda: A dependently typed programming language with univalence and higher inductive types |...
Cubical Agda: A dependently typed programming language with univalence and higher inductive types - Volume 31
higher inductive typesprogramming languagecubicalagdaunivalence
https://unimath.github.io/agda-unimath/foundation.strong-preunivalence.html
The strong preunivalence axiom - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
the strongaxiomagda
https://hackage-content.haskell.org/package/Agda-2.8.0/candidate/docs/Agda-Syntax-Concrete-Operators-Parser-Monad.html
Agda.Syntax.Concrete.Operators.Parser.Monad
agdasyntaxconcreteoperatorsparser
https://dev.danilafe.com/DanilaFe/agda-spa/src/commit/311ed751862744f4e466c7604a0f7fba5f9a3275/Lattice
agda-spa/Lattice at 311ed751862744f4e466c7604a0f7fba5f9a3275 - agda-spa - Daniel's Tiny Cup Of Tea
agda-spa - Attempts at formalizing static program analysis techniques in Agda.
cup of teaagdaspalatticedaniel
https://www.codewars.com/kata/5c87e641a2fc6d2b42f4b610/solutions/agda
Agda Solutions for Implementing typeclasses | Codewars
Codewars is where developers achieve code mastery through challenge. Train on kata in the dojo and reach your highest potential.
solutions foragdaimplementingcodewars