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
convergence
autodesk-realitycapture
testcasesource
ls
ufw
jersey-3.0
git-svn
dropout
gst-launch
android-external-storage
rspec2
add-action
laravel-encryption
window-handles
ultimate-member
script-component
mod-jk
raii
os.walk
hydration
jquery-scrollify
intel-fpga
bootstrap-selectpicker
jetbrains-hub
type-systems
adroll
re-encoding
dolphindb
leak-sanitizer
angular.io
