6 May
2009
6 May
'09
10:43 p.m.
Hi all, I'm also having the same error as Kellen. Occurs check: cannot construct the infinite type: s = s -> t When generalising the type(s) for `torus' Günther
5908
Age (days ago)
5908
Last active (days ago)
0 comments
1 participants
participants (1)
-
Guenther Schmidt