Keynote talk for Lambda Jam 2017 in Sydney
☆20Sep 16, 2018Updated 7 years ago
Alternatives and similar repositories for 2017-talk-teaching-new-tricks-to-old-programs
Users that are interested in 2017-talk-teaching-new-tricks-to-old-programs are comparing it to the libraries listed below
Sorting:
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- ☆49Dec 31, 2025Updated 2 months ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Deprecated, to be deleted☆11Mar 4, 2018Updated 8 years ago
- Get a certificate using Let's Encrypt ACME protocol☆13Jun 16, 2017Updated 8 years ago
- My self-built emacs configuration☆11Feb 8, 2026Updated last month
- Talk on generic parallel scan☆14May 12, 2017Updated 8 years ago
- Web Workers support for PureScripts☆11Nov 28, 2016Updated 9 years ago
- i bet you there is a typesystem behind music☆32Oct 24, 2018Updated 7 years ago
- Template repo for theorem proving in Liquid Haskell☆32Sep 19, 2018Updated 7 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 6 years ago
- A collection of mechanised proofs☆19Feb 4, 2020Updated 6 years ago
- My favorite quotes☆17Oct 12, 2025Updated 4 months ago
- Code Reviews in Emacs☆17May 15, 2025Updated 9 months ago
- Collaborative work on reversible computing☆25Oct 30, 2021Updated 4 years ago
- Conference on Homotopy Type Theory 2019☆16Sep 18, 2019Updated 6 years ago
- PureScript React Native TodoMVC example app☆27Sep 23, 2016Updated 9 years ago
- Derivation of Optimized Definitions Based on Specs☆14Sep 28, 2019Updated 6 years ago
- Applicative-style validation☆45Apr 27, 2022Updated 3 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 years ago
- A Haskell number theory library.☆15Jul 3, 2017Updated 8 years ago
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 7 years ago
- Generic encoding and decoding functions for data types with a Generic.Rep instance☆22Apr 27, 2022Updated 3 years ago
- A talk on type-generic FFT in Haskell☆46Oct 24, 2021Updated 4 years ago
- A prototype implementation of the Frank programming language☆17Feb 11, 2016Updated 10 years ago
- Exercism exercises in Coq.☆19Nov 1, 2024Updated last year
- A Domain-Specific Language (DSL) for simplified music notation.☆19Jun 1, 2015Updated 10 years ago
- wherein I implement several substructural logics in Agda☆24Oct 8, 2018Updated 7 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Sep 17, 2025Updated 5 months ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 6 years ago
- ☆46Jul 2, 2016Updated 9 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Apr 11, 2017Updated 8 years ago
- Apply PureScript compiler suggestions to fix warnings☆25Feb 20, 2024Updated 2 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- Experimental record formatting from type-level format strings☆24Jul 23, 2023Updated 2 years ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 6 years ago
- ☆20Aug 13, 2024Updated last year