|
join_unit : forall a, join _ \; (M <$> unit a) = idmap; |
should be:
join_unit : forall a, unit (M a) \; join _ = idmap;
moreover, what about the following renamings:
unit_join -> Munit_join
join_unit -> unitM_join
@t6s @shinya-katsumata
(we're enjoying cat.v very much anyway ^_^)
hierarchy-builder/examples/cat/cat.v
Line 583 in e4e487d
should be:
moreover, what about the following renamings:
@t6s @shinya-katsumata
(we're enjoying cat.v very much anyway ^_^)