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
sharepoint-clientobject
scoring
duration
v4l
longitudinal
androidx-test
game-maker-language
video-game-consoles
wordle-word-cloud
thingsboard-gateway
usersession
user-information-list
iactivescript
angular-platform-browser
angular-universal
nyc
undocumented-behavior
passport.js
square-bracket
ckqueryoperation
asar
progressdialog
amazon-cloudhsm
pl-i
onpaste
symmetric-key
serilog-sinks-elasticsearch
snazzymaps
tomcat9
create.js