Suppose I have some locale where a type-class can be inferred from the assumptions. locale some_locale = fixes xs :: "'x list" assumes xs_contains_UNIV: "se
yoothemes
template-inheritance
chai
fsockopen
react-dom
jquery-ui-tooltip
c++-templates
angular-translate
windows-xp
symfony-mailer
clockify
markup-extensions
html-escape
automated-builds
react-native-modal
static-typing
gradle-release-plugin
exception-logging
abi
ngx-gallery
go-colly
fenics
firefox-addon
data-files
code-conversion
long-parameter-list
sunspot-solr
leap-motion
spring-boot-cloud-streams
swagger-wcf
