LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

ghc-tcplugins-extra

Utilities for writing GHC type-checker plugins

OtherEmerging

Stars

—

Forks

—

Contributors

4

Last push

78mo ago

Recent commits

Latest commits.

Merge pull request #10 from clash-lang/ghc810
6e4ebacChristiaan Baaij79mo ago
Build against GHC 8.10
3cdc48dChristiaan Baaij79mo ago
Merge pull request #9 from clash-lang/travis-ghc-head
8530358Christiaan Baaij81mo ago
Adapt to GHC 8.9 evidence and constraint API
b4fdeb4Christiaan Baaij81mo ago
FunTy has three arguments in GHC 8.9+
71af559Christiaan Baaij81mo ago

Test with latest released GHCs

2fcf711Christiaan Baaij81mo ago

Use real GHC head on CI

4b3ca2eChristiaan Baaij81mo ago

Up upper bound restriction on GHC package

79fd643Christiaan Baaij83mo ago

Top contributors

Builders behind this project.