-
William DeMeo authored+ all modules renamed (removed UALib. prefix), so - moved generate-md and generate-tex to UALib subdirectory - moved UALib.lagda to UALib subdirectory - moved UALib.agda-lib to UALib subdirectory - modified .gitlab-ci.yml to account for the moves above