Skip to content

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

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

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