Skip to content

Refactor base library structure and port additional Haskell functions - #456

Open
loki259 wants to merge 8 commits into
agda:masterfrom
loki259:refactor-baselib
Open

Refactor base library structure and port additional Haskell functions#456
loki259 wants to merge 8 commits into
agda:masterfrom
loki259:refactor-baselib

Replace most Prelude reexports by introducing explicit alias definiti…

9f7a890
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.