An error occurred while fetching folder content.
The new updates allow allocation fresh elements satisfying an arbitrary proposition (for example, being even) instead of just not being in a given finite set. TODO: maybe also do this for finite maps (gmaps).
Name | Last commit | Last update |
---|---|---|