Skip to content
Nix CI

Add assert function to Haskell.Control.Exception #139

Sign in to view logs

Add assert function to Haskell.Control.Exception

Add assert function to Haskell.Control.Exception #139

Annotations

1 warning

Compile agda2hs with nix (agda2hs)

Compile agda2hs with nix (agda2hs)
succeeded Jan 9, 2025 in 1m 29s