GitHub repository: maxwehmi/functional-duality
Primary language: Haskell
Description: A Haskell implementation of translations between Distributive Lattices and Priestley Spaces