Age | Commit message (Expand) | Author |
---|---|---|
2024-02-20 | Simplify merge function | Jacques Comeaux |
2024-02-19 | Add glue function for finite sets | Jacques Comeaux |
2024-02-16 | Add helper function for merging finite sets | Jacques Comeaux |
2022-10-16 | Initial commit | Jacques Comeaux |