You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Agregar constraints al sistema de tipos (y a las definiciones de los tipos de los bloques) para que validen por typeclasses. Por ejemplo, dado que las funciones NO son Ord, no me debería dejar hacer:
Agregar constraints al sistema de tipos (y a las definiciones de los tipos de los bloques) para que validen por typeclasses. Por ejemplo, dado que las funciones NO son Ord, no me debería dejar hacer:
