文件名称：mptc:haskell的类型推断
文件大小：370KB
文件格式：ZIP
更新时间：2024-05-26 09:07:28
Haskell
具有不带扩展名的多参数类型类的Haskell的类型推断 描述 Haskell的类型推断，支持无功能依赖项或类型族的多参数类型类。 代码结构 - /src/BuiltIn : contains modules for built-in definitions of types and classes. - /src/Iface: contains modules that does the building of a initial type environment before the type checking / inference of a given module. - /src/Libs: This folder contains several Haskell libraries that have been checked with thisfront-end.