This is Haskell code that accompanies my mathematics honours thesis.
This code verifies a number of homomorphisms that appear in the thesis.
Build and run using The Haskell Tool Stack, https://www.haskellstack.org, as follows
- stack setup
- stack build
- stack exec wLPAs-exe