Skip to content

Simplify prelude.sail by including generic_equality.sail and mapping.… #20

Simplify prelude.sail by including generic_equality.sail and mapping.…

Simplify prelude.sail by including generic_equality.sail and mapping.… #20