Skip to content
Find file Blame History Permalink
  • niteria's avatar
    Kill unused foldModuleEnv · 7de776cf
    niteria authored 
    With the current implementation, it's nondeterministic
because Ord Module is nondeterministic.
    7de776cf