<ul><li><a target="_blank" href="https://youtu.be/UpHkvcFMkBM">2 12 constructive Galois Connections: Taming the Galois Connection Framework for Mechanazed Metathe</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Galois_connection">Galois Connection</a></li><li><a target="_blank" href="http://www.iis.sinica.edu.tw/~scm/2010/an-exercise-utilising-galois-connections/">An Exercise Utilising Galois Connections</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Denotational_semantics">Denotational semantics</a></li><li><a target="_blank" href="https://github.com/purescript/purescript/releases">Deriving Functor</a></li><li><a target="_blank" href="https://pursuit.purescript.org/packages/purescript-filterable/1.0.0">purescript-filterable</a></li><li><a target="_blank" href="https://github.com/DrBoolean/excursion">excursion</a></li><li><a target="_blank" href="https://github.com/slamdata/purescript-matryoshka">purescript-matryoshka</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Apomorphism">apomorphism</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Anamorphism">anamorphism</a></li><li><a target="_blank" href="http://stackoverflow.com/a/37002861">histomorphism</a></li><li><a target="_blank" href="http://stackoverflow.com/a/36923571">futumorphism</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Group_(mathematics)">Group</a></li><li><a target="_blank" href="https://developer.mozilla.org/en-US/docs/Web/CSS/:not">:not</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Ring_(mathematics)">Ring</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Boolean_algebra">Boolean algebra</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Heyting_algebra">Heyting algebra</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Idempotence">Idempotence</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Lattice_(order)">Lattice</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Semigroup">Semigroup</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Monoid">Monoid</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Commutative_property">Commutative property</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Semilattice">Semilattice</a></li></ul>

2 12 constructive Galois Connections: Taming the Galois Connection Framework for Mechanazed MetatheGalois ConnectionAn Exercise Utilising Galois ConnectionsDenotational semanticsDeriving Functorpurescript-filterableexcursionpurescript-matryoshkaapomorphismanamorphismhistomorphismfutumorphismGroup:notRingBoolean algebraHeyting algebraIdempotenceLatticeSemigroupMonoidCommutative propertySemilattice

<ul><li><a href="https://youtu.be/UpHkvcFMkBM" rel="noopener noreferrer">2 12 constructive Galois Connections: Taming the Galois Connection Framework for Mechanazed Metathe</a></li><li><a href="https://en.wikipedia.org/wiki/Galois_connection" rel="noopener noreferrer">Galois Connection</a></li><li><a href="http://www.iis.sinica.edu.tw/~scm/2010/an-exercise-utilising-galois-connections/" rel="noopener noreferrer">An Exercise Utilising Galois Connections</a></li><li><a href="https://en.wikipedia.org/wiki/Denotational_semantics" rel="noopener noreferrer">Denotational semantics</a></li><li><a href="https://github.com/purescript/purescript/releases" rel="noopener noreferrer">Deriving Functor</a></li><li><a href="https://pursuit.purescript.org/packages/purescript-filterable/1.0.0" rel="noopener noreferrer">purescript-filterable</a></li><li><a href="https://github.com/DrBoolean/excursion" rel="noopener noreferrer">excursion</a></li><li><a href="https://github.com/slamdata/purescript-matryoshka" rel="noopener noreferrer">purescript-matryoshka</a></li><li><a href="https://en.wikipedia.org/wiki/Apomorphism" rel="noopener noreferrer">apomorphism</a></li><li><a href="https://en.wikipedia.org/wiki/Anamorphism" rel="noopener noreferrer">anamorphism</a></li><li><a href="http://stackoverflow.com/a/37002861" rel="noopener noreferrer">histomorphism</a></li><li><a href="http://stackoverflow.com/a/36923571" rel="noopener noreferrer">futumorphism</a></li><li><a href="https://en.wikipedia.org/wiki/Group_(mathematics)" rel="noopener noreferrer">Group</a></li><li><a href="https://developer.mozilla.org/en-US/docs/Web/CSS/:not" rel="noopener noreferrer">:not</a></li><li><a href="https://en.wikipedia.org/wiki/Ring_(mathematics)" rel="noopener noreferrer">Ring</a></li><li><a href="https://en.wikipedia.org/wiki/Boolean_algebra" rel="noopener noreferrer">Boolean algebra</a></li><li><a href="https://en.wikipedia.org/wiki/Heyting_algebra" rel="noopener noreferrer">Heyting algebra</a></li><li><a href="https://en.wikipedia.org/wiki/Idempotence" rel="noopener noreferrer">Idempotence</a></li><li><a href="https://en.wikipedia.org/wiki/Lattice_(order)" rel="noopener noreferrer">Lattice</a></li><li><a href="https://en.wikipedia.org/wiki/Semigroup" rel="noopener noreferrer">Semigroup</a></li><li><a href="https://en.wikipedia.org/wiki/Monoid" rel="noopener noreferrer">Monoid</a></li><li><a href="https://en.wikipedia.org/wiki/Commutative_property" rel="noopener noreferrer">Commutative property</a></li><li><a href="https://en.wikipedia.org/wiki/Semilattice" rel="noopener noreferrer">Semilattice</a></li></ul>

Are Denotational Semantics Adjoint to Hacking Something Together?

Follow along with Brian Lonsdorf and Hardy Jones as they explore the internet, life, and programming.

Share Are Denotational Semantics Adjoint to Hacking Something Together?

Sign up to save your podcasts

Are Denotational Semantics Adjoint to Hacking Something Together?

Are Denotational Semantics Adjoint to Hacking Something Together?