b7cf1ecFix delab of scoped implicitsEdwin Brady10 years ago c271f58Support interfaces in mutual blocksEdwin Brady10 years ago 9b28211Stylize fixesEdwin Brady10 years ago ab56c6f'case' in interface methods now worksEdwin Brady10 years ago 57ea7feBuild interface constructor differentlyEdwin Brady10 years ago 88faa10Reorganise interface elaborationEdwin Brady10 years ago 024663cMerge pull request #3475 from enolan/stylish-travisEdwin Brady10 years ago 488c5b7Add RigCount to PPi/PlicityEdwin Brady10 years ago e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady10 years ago 6d9659cMerge remote-tracking branch 'origin/master' into stylish-travisEcho Nolan10 years ago 7ac40afStylish changes since this PR was originally submittedEcho Nolan10 years ago 9ca1d73Print interface parameter constraints in :docOskar Wickström10 years ago f467346Detect implicit parameters to interfacesEdwin Brady10 years ago e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan10 years ago 0df1270Change Instance to implementation (#3404)(λ _ λ)10 years ago 53fae80use interface in error message when check instancezjhmale10 years ago 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ)10 years ago c3f0755replace code level class symbol with inferfacezjhmale10 years ago