Skip to content

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x) #87

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x)

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x) #87

Annotations

1 warning

Typecheck with Agda with nix (agda2hs-lib)

succeeded Sep 19, 2024 in 1m 21s