7sharp9 / write-you-an-inference-in-fsharp
Different type inference algorithms implemented in F#
☆159Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for write-you-an-inference-in-fsharp
- Prototype type inference engine☆196Updated 3 months ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated last year
- Idris for Visual Studio Code☆106Updated 2 years ago
- 1ML prototype interpreter☆270Updated 4 years ago
- Parser combinators for Idris☆238Updated 5 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆213Updated last year
- Classic Algorithm W for type inference.☆249Updated 14 years ago
- Ordo: A minimalist language with row polymorphism☆80Updated 3 months ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆132Updated 5 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- Sample code from "Type Driven Development with Idris"☆162Updated 7 years ago
- Example row-polymorphism implementations☆59Updated last year
- Test monadic programs using state machine based models☆203Updated 3 years ago
- Links: Linking Theory to Practice for the Web☆330Updated last week
- Examples of Dependently-typed programs in Haskell☆304Updated 2 years ago
- History of Programming Languages, Spring 2017☆129Updated 6 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆106Updated 7 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆117Updated 2 months ago
- A simple ML-like programming language with subtyping and full type inference.☆161Updated 5 months ago
- A Idris Mode for Atom.io☆100Updated 3 months ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago
- Dependently Typed Lambda Calculus in Haskell☆111Updated 3 years ago
- Malfunctional Programming☆338Updated last month
- A toy language based on LLVM that implements the System Fω type-system☆103Updated last year
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- Alternative algorithm for algebraic subtyping.☆149Updated last week
- The home of the Glamorous Glambda interpreter☆219Updated 3 months ago
- Charity language interpreters and literature☆114Updated 5 years ago
- A friendly effect system for Haskell☆228Updated 5 months ago
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago