Default Branch

74954e590b · Fixed ci (?) (#5) · Updated 2019-09-21 20:29:08 +03:00

Branches

75ad5ea3eb · Removed semigroupoids · Updated 2019-09-21 21:55:49 +03:00

0
2