higher-rank
by lexi-lambda
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
AI summary
Type checker
A Haskell implementation of type checking and evaluation for higher-rank polymorphism
- stars
- 101
- forks
- 2
- watching
- 8
Similar projects
Found by comparing what the projects do, not just their names.
Type checker
An implementation of bidirectional type checking for higher-rank polymorphism in Haskell
Effect system library
A Haskell library for building effectful applications with a focus on type-level effects and composability
Parser library
A parser combinator library designed to be industrial-strength and easy to use
hspec/hspec755
Haskell tester
A testing framework for Haskell programming language
haskell/alex298
Lexer generator
A tool for generating lexical analysers in Haskell
Property tester
Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement.
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
Haskell parser
A toolset for manipulating and analyzing Haskell source code
Type composer
A library providing a foundation for type-level functions and compositions in Haskell
Haskell Lexer Highlighter
A syntax highlighter library for Haskell built around the GHC lexer.
λ-calculus compiler
Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic
Type-level set library
A Haskell library providing data structures and operations for working with sets and maps at the type level
Haskell code parser
A tool to parse and fix code samples from the book 'Real World Haskell'
Lisp-inspired language
An experimental implementation of a Haskell-like language with Racket's macro system
