Open hlieberman opened 9 years ago
In order to match eqc and PropEr syntax, we should support equals/2 and conjunction/1.
This is mostly a note for myself to implement them -- neither looks out of my ability.
Basic support is implemented in hlieberman/triq@37a0bdd8a19e00667830939b5d04142b5bd684b8.
In order to match eqc and PropEr syntax, we should support equals/2 and conjunction/1.
This is mostly a note for myself to implement them -- neither looks out of my ability.