learn-me-a-haskell
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
Trying to get back all the stuff I had in JavaScript.
70 stars
7 watching
1 forks
Language: Haskell
last commit: about 6 years ago dependent-typesghchaskelltype-level-programming
Related projects:
| Repository | Description | Stars |
|---|---|---|
| i-am-tom/haskell-exercises | A tutorial and exercise repository to learn about obscure GHC extensions in Haskell. | 638 |
 ajtulloch/haskell-ml | Implementations of basic machine learning algorithms in Haskell | 57 |
 andreasabel/miniagda | A research prototype of a dependently typed language with sized types and variances | 104 |
 sweirich/graded-haskell | Mechanizations for two dependently-typed languages with graded types | 23 |
| sweirich/dth | Exploring and showcasing examples of dependently-typed programs in Haskell | 302 |
 ditto/ditto | An experimentally designed dependently typed programming language with a focus on type checking and research | 173 |
 thma/whyhaskellmatters | Explaining why Haskell's unique features make it an important language for software development | 467 |
 typelead/eta | A Haskell dialect designed to run on the JVM with goals of accessibility and compatibility | 2,607 |
 theam/haskell-do | A Haskell-based code editor designed for interactive development and programming in the language. | 352 |
 haskell-to-elm/haskell-to-elm | Generates matching Elm type definitions and JSON encoders and decoders from Haskell types | 61 |
 mzero/haskell-amuse-bouche | A collection of Haskell code examples and resources illustrating the language's features and programming techniques. | 114 |
 typeclasses/haskell-phrasebook | A tutorial guide to Haskell programming with annotated example programs. | 211 |
 google/haskell-trainings | A set of training materials and exercises for learning Haskell programming language | 1,386 |
 lexi-lambda/higher-rank | A Haskell implementation of type checking and evaluation for higher-rank polymorphism | 101 |
 1haskelladay/1had | Provides tools and exercises for practicing functional programming in Haskell | 118 |