lambduli / frea
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
☆17Updated 3 years ago
Related projects: ⓘ
- Small and simple logic programming language inspired by Prolog.☆14Updated 2 years ago
- A small logic programming language.☆16Updated 4 months ago
- The Stroscot Programming Language☆13Updated 8 months ago
- small programming language. pls be gentle.☆39Updated 3 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Yoneda lemma in every known language☆17Updated last year
- Stack-based esoteric programming language☆17Updated 3 months ago
- Dependently typed programming language written in Haskell☆22Updated 2 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- A simple functional programming language.☆20Updated 3 years ago
- Prolog + SMT☆7Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 3 years ago
- A Self-Interpreter for F-omega☆16Updated 8 years ago
- A [ functional stack ] based language.☆28Updated 10 months ago
- Implementation of Martin-Löf Type Theory in Haskell