higher-rank
Type checker
A Haskell implementation of type checking and evaluation for higher-rank polymorphism
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
101 stars
8 watching
2 forks
Language: Haskell
last commit: almost 8 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 ollef/bidirectional | An implementation of bidirectional type checking for higher-rank polymorphism in Haskell | 129 |
| lexi-lambda/freer-simple | A Haskell library for building effectful applications with a focus on type-level effects and composability | 228 |
 haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 850 |
 hspec/hspec | A testing framework for Haskell programming language | 755 |
| haskell/alex | A tool for generating lexical analysers in Haskell | 298 |
 rudymatela/fitspec | Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
 i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
 haskell-suite/haskell-src-exts | A toolset for manipulating and analyzing Haskell source code | 194 |
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 87 |
 mrkkrp/ghc-syntax-highlighter | A syntax highlighter library for Haskell built around the GHC lexer. | 59 |
 thma/lambda-ski | Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic | 28 |
 dorchard/type-level-sets | A Haskell library providing data structures and operations for working with sets and maps at the type level | 66 |
 cyga/real-world-haskell | A tool to parse and fix code samples from the book 'Real World Haskell' | 89 |
| lexi-lambda/hackett | An experimental implementation of a Haskell-like language with Racket's macro system | 1,167 |