search

AshleyYakeley / Truth

Changes and Pinafore projects. Pull requests not accepted.
https://pinafore.info/
GNU General Public License v2.0
32 stars 0 forks source link

Add maybeMapModel.FiniteSetModel #247

Closed AshleyYakeley closed 8 months ago

AshleyYakeley commented 8 months ago 
maybeMapModel.FiniteSetModel.: WholeModel +(aq -> Maybe. b) -> FiniteSetModel. {-ap,+aq} -> FiniteSetModel. {b,-ap}

compare: maybeMap.FiniteSetModel.: (aq -> Maybe. b) -> FiniteSetModel. {-ap,+aq} -> FiniteSetModel. {b,-ap}

AshleyYakeley commented 8 months ago

Done.