Model finite functions that may not be surjective as a mapping between domain elements and a multiset of codomain elements that are reachable from that state.
spydr073 / arrows Goto Github PK
View Code? Open in Web Editor NEWModel multiset to multiset functions in Idris