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
qjson
missing-data
coordinator-layout
urlfetch
collective-intelligence
axi4-stream
phony-target
hugsql
dbmail
facebook-php-webdriver
gob
delphi-2010
kontakt.io
2-satisfiability
zenity
ruby-on-rails-2
azure-diagnostics
ms-project-server-2016
dotnet-build
stacked-chart
no-database
spark-checkpoint
dll-reference
gadinterstitial
datasource
gcrypt
google-plus
eiffel-studio-20.05
readr
imperative-programming
