Tasiro
Results
1
comments of
Tasiro
And it is caught in ```idris mutual B: Type data C: Type -> Type where CC: C B B = C B ```