Are Denotational Semantics Adjoint to Hacking Something Together?
/- 2 12 constructive Galois Connections: Taming the Galois Connection Framework for Mechanazed Metathe
- Galois Connection
- An Exercise Utilising Galois Connections
- Denotational semantics
- Deriving Functor
- purescript-filterable
- excursion
- purescript-matryoshka
- apomorphism
- anamorphism
- histomorphism
- futumorphism
- Group
- :not
- Ring
- Boolean algebra
- Heyting algebra
- Idempotence
- Lattice
- Semigroup
- Monoid
- Commutative property
- Semilattice