Closed honvex-cool closed 1 week ago
Plug new steps into the pipeline Add logging Add pretty printing Add functions for checking equivalence of (syntactic) types and expressions
Plug new steps into the pipeline Add logging Add pretty printing Add functions for checking equivalence of (syntactic) types and expressions