• niteria's avatar
    Remove unused foldNameEnv · 031de8bb
    niteria authored
    foldNameEnv is nondeterministic in the general case and it's
    currently unused so we can remove it.
    031de8bb
NameEnv.hs 4.49 KB