12 lines
231 B
Text
12 lines
231 B
Text
λ(nix : ../NixPrelude.dhall) →
|
|
let Set = ../Set/Type.dhall
|
|
|
|
let fix
|
|
: ∀(t : Type) → (t → t) → t
|
|
= nix.primops.fix
|
|
|
|
let fixp
|
|
: (Set → Set) → Set
|
|
= nix.primops.`fix'`
|
|
|
|
in { fix, fixp }
|