| .. |
| Album.idr | Allow ambiguity when chasing parent interfaces | 7 years ago |
| Eq.idr | Allow ambiguity when chasing parent interfaces | 7 years ago |
| expected | Allow ambiguity when chasing parent interfaces | 7 years ago |
| Expr.idr | Remove trailing whitespace from Idris sources. | 7 years ago |
| Fold.idr | Allow ambiguity when chasing parent interfaces | 7 years ago |
| run | Allow ambiguity when chasing parent interfaces | 7 years ago |
| Tree.idr | Allow ambiguity when chasing parent interfaces | 7 years ago |