5 Commits

Author SHA1 Message Date
Guillaume Melquiond
19b2b452d0 Fix typos. 2023-11-23 18:38:17 +01:00
Jean-Christophe Filliatre
110fc6f4d5 space-saving example: general case 2023-05-10 20:34:28 +02:00
Jean-Christophe Filliatre
458db577d6 space-saving example: better use map instead of seq 2023-05-10 11:20:26 +02:00
Jean-Christophe Filliatre
7e766e5378 space_saving example: no need to mention s in the spec 2023-05-09 15:58:42 +02:00
Jean-Christophe Filliatre
d350e39fd2 new example: space saving algorithm 2023-05-09 15:54:05 +02:00