• William DeMeo's avatar
    reorg and improvements · 9a4a6b03
    William DeMeo authored
    + change Prelude module and Prelude._ submodules to Overture and Overture._ (resp)
      (because there is already a well-known module named Agda Prelude)
    9a4a6b03
Overture.lagda 962 Bytes