simon-frankau / mock-a-mockingbird
My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell
☆35Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for mock-a-mockingbird
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- Notes and handouts from OPLSS 2018☆53Updated 6 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆77Updated 2 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- An implementation of Pie in Haskell☆204Updated 5 years ago
- A bidirectional type checker☆57Updated 7 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆81Updated 3 years ago
- Tutorial on monad transformers☆58Updated 2 years ago
- Benchmarks for capture-avoiding substitution☆107Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- ICFP 2020 papers. Crowd-sourced☆92Updated 4 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- ☆16Updated 10 years ago
- Type inference from scratch - Material for my talk at F(by)19☆63Updated 4 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆78Updated 8 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆116Updated 3 years ago
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- The Iowa Agda Library☆46Updated 5 months ago
- Organization and planning for the Initial Types Club☆71Updated 2 years ago
- Source material for Algebra-Driven Design☆137Updated last year
- A prototypical dependently typed languages with sized types and variances☆104Updated 2 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated last year
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- ☆39Updated 4 years ago
- A verified compiler for a lazy functional language☆32Updated last month
- A simple Prolog interpreter☆43Updated 2 years ago