2
11
2
2
2
1
2
7
2
1
Cycle detected: a cycle exists in the type hierarchy between Prop and AProp
by Brock, David 06 Jun '12
by Brock, David 06 Jun '12
06 Jun '12
3
6
2
1
2
6
1
0
1
0