bhc-types 0.2.17

Type system, type inference, and type representations for BHC
Documentation