diff options
author | 2015-11-01 16:33:14 -0500 | |
---|---|---|
committer | 2015-11-01 16:33:14 -0500 | |
commit | c0670f7c2517948966a5c037b401304a67bb85c6 (patch) | |
tree | 42d718d6a1e75cbcc074dc72c73b40318349f5ba /lib/ur/basis.urs | |
parent | 764c3b15d459a42ef6222a82f93a38937d2ac141 (diff) |
After a tricky debugging session, limit visibility of type-class instances from anonymous modules
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions