mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-09-11 08:45:32 +03:00
Rename add_combine to add_combine.kind
This commit is contained in:
parent
2028e137c7
commit
a35abcd599
Loading…
Reference in New Issue
Block a user