Blog
GHC type checker plugins: adding new type-level operations
Since version 7.10.2, GHC supports so-called type-checker plugins which let us extend GHC’s constraint solver, i.e. extend the range of programs GHC can type check.
Stay up to date with the latest news, blogs about FPGA and its applications, our projects and much more.

Blog
Since version 7.10.2, GHC supports so-called type-checker plugins which let us extend GHC’s constraint solver, i.e. extend the range of programs GHC can type check.
We are your business partner for powerful FPGA design and digital design automation. Discover what our innovative and advanced chip solutions can offer you. The more complex the challenge, the more excited we become!