bor0 / gidti
Book: Introduction to Dependent Types with Idris
☆76Updated last year
Alternatives and similar repositories for gidti:
Users that are interested in gidti are comparing it to the libraries listed below
- A pure Haskell implementation of Datalog☆104Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Tiny type-checker with dependent types☆76Updated 11 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 3 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated last month
- Higher-order optimization library☆73Updated last year
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Example row-polymorphism implementations☆61Updated last year
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 8 months ago
- source code for the bondi programming language☆40Updated 6 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- Dependently Typed Lambda Calculus in Haskell☆113Updated 3 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆80Updated 8 years ago