remove visible forall

32114997 · Daniel Firth · 5e7f8559 · 32114997
Commit 32114997 authored 2 years ago by Daniel Firth
--- a/manifest.dhall
+++ b/manifest.dhall
 let H = ./horizon.dhall

 let callHorizonAdopted
-    : ∀(name : Text) → ∀(revision : Text) → H.Attr H.HsPkg.Type
+    : Text → Text → H.Attr H.HsPkg.Type
    = λ(name : Text) →
      λ(revision : Text) →
        H.callCabal2nix