agentm / agentm/project-m36

Define a Tupleable instance with a subrelation

Abierto
#351 7 comentarios 0 reacciones 0 asignados Ver en GitHub
Lenguaje dominante
Haskell
Estrellas
952
Forks
50
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

Right now, haskell datatypes with list attributes are derived as `t :: List (a :: SomeTypeT)` is there a way of forcing the deriving mechanism to use `t :: relation {a::SomeTypeT}` instead?

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.