search

fantasyland / fantasy-monoids

A collection of monoids
29 stars 8 forks source link

Fixed disjunctions #14

Open buscarini opened 7 years ago

buscarini commented 7 years ago

The disjunctions export was pointing to conjunctions. I fixed it and added a test