tonyfloatersu / solution-haskell-craft-of-FPLinks
My solution to ‘Haskell: The Craft of Functional Programming (3rd Edition)’
☆14Updated 7 years ago
Alternatives and similar repositories for solution-haskell-craft-of-FP
Users that are interested in solution-haskell-craft-of-FP are comparing it to the libraries listed below
Sorting:
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 7 years ago
- Types and Programming Languages☆38Updated 10 years ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆32Updated 8 months ago
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year
- Agda bindings to SMT-LIB2 compatible solvers.☆99Updated 8 months ago
- Normalization by evaluation of simply typed combinators.☆26Updated 3 years ago
- Benchmarks for capture-avoiding substitution☆114Updated 3 weeks ago
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- Notes on higher-order typed compilation. Probably wrong☆23Updated 2 years ago
- Notes and handouts from OPLSS 2018☆55Updated 6 years ago
- A command-line tool to generate Latex (inference rules) from inductive coq definitions.☆29Updated 8 years ago
- A library for formalizing Haskell types and functions in Coq☆170Updated last year
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- The Penn Locally Nameless Metatheory Library☆74Updated 3 months ago
- Literature review of GHC's Core language, System FC☆67Updated 7 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 7 years ago
- being an operating system for typechecking processes☆126Updated 2 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆71Updated 6 years ago
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- Unification and type inference algorithms☆125Updated 10 years ago
- An interactive theorem prover based on lambda-tree syntax☆95Updated last month
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last month
- Haskell bindings to Microsoft's Z3 API (unofficial).☆58Updated last year
- The Software Foundations book, in GHC☆82Updated 5 months ago
- Lecture material for DeepSpec Summer School 2017☆88Updated 3 years ago
- Formalising Type Theory in a modular way for translations between type theories☆95Updated 7 years ago
- A prototypical dependently typed languages with sized types and variances☆109Updated 2 years ago
- Towards changing things and see if it proofs☆60Updated 3 years ago