clean up code and add an everything file importing all modules

ualib / agda-algebras

The Agda Universal Algebra Library (html docs available at the url below)

https://ualib.github.io/agda-algebras/

Creative Commons Attribution Share Alike 4.0 International

29 stars 7 forks source link

clean up code and add an everything file importing all modules #100

Closed williamdemeo closed 3 years ago

williamdemeo commented 3 years ago

This replaces the last PR (of the cosmetics branch) because that one accidentally included commits to the finite-csp branch as well. This PR leaves out commits to the finite-csp branch (because those are already included in another PR).

williamdemeo commented 3 years ago

Thank you, Jacques! :nerd_face: :+1: