Domain Modeling Made Denumerable(github.com)

2 pointsby dread88vor 7 Monaten1 comments

https://github.com/sgoguen/DenseCheck/blob/main/docs/2025/12/02-Happy-FS-Advent.md

1 comments

Reminded me of _Programming with Enumerable Sets of Structures_ https://dl.acm.org/doi/10.1145/2814270.2814323