simon-frankau / mock-a-mockingbirdLinks
My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell
☆37Updated 7 years ago
Alternatives and similar repositories for mock-a-mockingbird
Users that are interested in mock-a-mockingbird are comparing it to the libraries listed below
Sorting:
- Benchmarks for capture-avoiding substitution☆120Updated 5 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆120Updated 4 years ago
- Selected Papers of Dana S. Scott☆168Updated last year
- Strongly-typed System F in Haskell☆119Updated 3 years ago
- A tutorial on how Agda infers things☆63Updated 4 months ago
- Spartan type theory☆271Updated 2 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- An implementation of Pie in Haskell☆211Updated 6 years ago
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- ☆92Updated 7 months ago
- Functional teaching language for use in a discrete mathematics course☆171Updated 5 months ago
- Normalization by Evaluation for Martin-Löf Type Theory☆129Updated last year
- SPLV20 course notes☆114Updated 3 years ago
- Tutorial on monad transformers☆63Updated 3 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆216Updated 2 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- Introduction to algebraic effects and handlers☆98Updated 7 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆129Updated 4 months ago
- Notes and handouts from OPLSS 2018☆55Updated 7 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆56Updated 5 years ago
- Mathematical Components (the Book)☆148Updated last month
- A Haskell blog☆151Updated last month
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 3 years ago
- The Iowa Agda Library☆50Updated 2 weeks ago
- Lecture notes on univalent foundations of mathematics with Agda☆230Updated last week
- A comparison of how computational effects and handlers are implemented in various programming languages.☆143Updated 6 years ago
- Organization and planning for the Initial Types Club☆74Updated 3 years ago