Refactor base library structure and port additional Haskell functions#456

Open

loki259 wants to merge 8 commits intoagda:masterfrom

loki259:refactor-baselib

Commits on Mar 14, 2026

Refactor base library structure and port additional Haskell functions
loki259
committed

Commits on Mar 18, 2026

Commits on Mar 19, 2026

Mark some variables as private to avoid polluting the namespace
loki259
committed

Commits on Mar 25, 2026

Commits on Mar 27, 2026

Introduce submodules for instances of type classes and extract `Semigroup` into its own module
loki259
committed

Commits on Mar 28, 2026

Replace most Prelude reexports by introducing explicit alias definitions to work around #126
loki259
committed