j
k
j a
j l
On 2010-04-15 17:39, Dan Piponi wrote:
In the service of readability we could also define: data X = X data O
In the service of readability we could also define:
data X = X data O
In that case we'd want type Three a b c = (a,b,c) ...which is simpler than my GADT. -- Ashley Yakeley
Back to the thread
Back to the list
