Simplified `Vec` import in stdl#2018

Merged

MatthewDaggitt merged 7 commits intoagda:masterfrom

Sofia-Insa:Import-Vec

Jul 31, 2023

Commits on Jul 10, 2023

Simplified `Vec` import in stdl
Sofia-Insa
committed

Commits on Jul 14, 2023

rectification on import Data.Vec
Sofia-Insa
committed

Commits on Jul 29, 2023

Commits on Jul 30, 2023

Merge branch 'master' into Import-Vec
MatthewDaggitt
authored

Commits on Jul 31, 2023

Update Semantics.agda
MatthewDaggitt
authored