• William DeMeo's avatar
    major reorganization · fc62d94b
    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
    fc62d94b
Terms.lagda 586 Bytes