Skip to content

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

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

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