Search results

Add support for compatibility-phase simplification rules

type: enhancement

Status: Open.

#60 In input-output-hk/equivalence-reasoner;

· jeltsch opened on Mar 22, 2022

· 

Delivery of the example of using the next-generation equivalence reasoner

Make the equivalence reasoner work with polymorphic relations

type: bugfix

Status: Open.

#28 In input-output-hk/equivalence-reasoner;

· javierdiaz72 opened on Dec 29, 2021

· 

Delivery of the revised version of the next-generation equivalence reasoner

Add an example of using the next-generation equivalence reasoner

type: enhancement

Status: Open.

#16 In input-output-hk/equivalence-reasoner;

· jeltsch opened on Nov 29, 2021

· 

Delivery of the example of using the next-generation equivalence reasoner