https://wmacmil.github.io/blog/gf/lists/ 2021-02-22T00:00:00+00:00 https://wmacmil.github.io/blog/code-test/ 2021-04-15T00:00:00+00:00 https://wmacmil.github.io/blog/agda-test/ 2021-04-18T00:00:00+00:00 https://wmacmil.github.io/gf-tutorial/ 2021-04-23T00:00:00+00:00 https://wmacmil.github.io/personal%20blog/dusty-libraries/ 2021-04-27T00:00:00+00:00 https://wmacmil.github.io/godelsT-gf/ 2021-05-25T00:00:00+00:00 https://wmacmil.github.io/Naturals/ https://wmacmil.github.io/Naturals/ https://wmacmil.github.io/about/ https://wmacmil.github.io/categories/ https://wmacmil.github.io/ https://wmacmil.github.io/tags/ https://wmacmil.github.io/posts/ https://wmacmil.github.io/page2/ https://wmacmil.github.io/html/Agda.Builtin.Bool.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Agda.Builtin.Equality.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Agda.Builtin.Sigma.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Agda.Builtin.Strict.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Agda.Builtin.Unit.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Agda.Primitive.Cubical.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Agda.Primitive.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Algebra.Bundles.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Algebra.Consequences.Base.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Algebra.Consequences.Setoid.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Algebra.Core.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Algebra.Definitions.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Algebra.Structures.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Algebra.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Axiom.Extensionality.Propositional.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Axiom.UniquenessOfIdentityProofs.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Data.Bool.Base.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Data.Empty.Irrelevant.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Data.Empty.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Data.Maybe.Base.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Data.Product.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Data.Sum.Base.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Data.These.Base.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Data.Unit.Base.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Function.Base.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Function.Equality.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Level.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Bundles.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Consequences.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Core.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Definitions.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Indexed.Heterogeneous.Bundles.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Indexed.Heterogeneous.Core.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Indexed.Heterogeneous.Definitions.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Indexed.Heterogeneous.Structures.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Indexed.Heterogeneous.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.PropositionalEquality.Algebra.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.PropositionalEquality.Core.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.PropositionalEquality.Properties.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.PropositionalEquality.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Reasoning.Base.Partial.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Reasoning.Base.Single.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Reasoning.PartialSetoid.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Reasoning.Setoid.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.Structures.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Binary.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Nullary.Decidable.Core.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Nullary.Reflects.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Nullary.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Relation.Unary.html 2021-05-26T14:23:25+00:00 https://wmacmil.github.io/html/Strict.html 2021-05-26T14:23:25+00:00