Skip to content

Add Haskell.Data.List #154

Add Haskell.Data.List

Add Haskell.Data.List #154

Compile agda2hs with nix (agda2hs)

succeeded Jan 29, 2025 in 1m 43s