IdrisDoc
: Control.Isomorphism.Iso
Index
Control.Isomorphism.Iso
param_a
:
(
rec
:
Iso
a
b
) ->
Type
param_b
:
(
rec
:
Iso
a
b
) ->
Type