sparverius / ats-acc
Pretty-print error messages of the ATS Compiler
☆35Updated 5 years ago
Alternatives and similar repositories for ats-acc:
Users that are interested in ats-acc are comparing it to the libraries listed below
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆59Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- For supporting template-based programming☆21Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- ☆39Updated 8 months ago
- Collection of ATS goodness☆35Updated 5 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆58Updated last year
- ☆47Updated 7 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- MetaML and MetaOCaml bibliography☆89Updated 4 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- ☆27Updated last year
- Compositional type checking for Haskell☆37Updated 14 years ago
- Example row-polymorphism implementations☆61Updated last year
- being bits and pieces I'm inclined to leave lying around☆49Updated 4 months ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- ICFP tutorial☆39Updated 3 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Map lazy functional language constructs to LLVM IR☆50Updated 5 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- A simple functional programming language.☆21Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- apkg - package manager for Agda☆37Updated 3 years ago
- GRIN backend for Idris☆51Updated 5 years ago
- ☆30Updated 6 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Tiny type-checker with dependent types☆77Updated 11 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 2 months ago