]> gitweb.factorcode.org Git - factor.git/commit
sequences.extras: Add map-infimum and map-supremum
authorGiftpflanze <gifti@tools.wmflabs.org>
Mon, 16 Jan 2023 16:46:01 +0000 (16:46 +0000)
committerGiftpflanze <gifti@tools.wmflabs.org>
Mon, 16 Jan 2023 16:46:01 +0000 (16:46 +0000)
commitc62088f1b33b61ffffd948eb587de95ef69199c5
tree5ecefda4f7d219d6eb11ab5413593ade8ca7773c
parentb26c6c2a3fb3ad6d1277267594fe1446add29178
sequences.extras: Add map-infimum and map-supremum

Resolves #522
extra/sequences/extras/extras.factor