It's not an isomorphism though, it misses the always true map. This means that m...

		jozefg on Dec 11, 2018 \| parent \| context \| favorite \| on: Seemingly Impossible Swift Programs It's not an isomorphism though, it misses the always true map. This means that many predicates on nat do not terminate on nat -> bool.