initial+terminal algebras#1902

Merged

MatthewDaggitt merged 14 commits intoagda:masterfrom

jamesmckinna:initial+terminal

Feb 28, 2023

Commits on Jan 8, 2023

removed unnecessary imports from `Data.Unit`
jamesmckinna
committed

Commits on Feb 23, 2023