haroldcarr / presentations
slides for presentations I have given
☆21Updated 4 years ago
Related projects: ⓘ
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- being the scrapings of my stackoverflow answers☆48Updated 4 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Benchmarks to compare Haskell streaming library performance☆102Updated last year
- ☆28Updated 6 years ago
- Provably correct implementation of insertion sort in Idris.☆28Updated 3 years ago
- every day i'm truffling☆67Updated 3 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 7 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆23Updated 5 years ago
- Haskell 98 contravariant functors☆73Updated 2 months ago
- Code for live-coding session☆20Updated 9 years ago
- Declare and access tuple fields with labels☆61Updated 5 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Advent of Code 2017☆41Updated 5 years ago
- Monad Transformers and Classes☆78Updated 5 years ago
- Haskell embedding of PlusCal☆59Updated 2 years ago
- ☆50Updated 8 years ago
- Port of Scala/Haskell Refined library to Idris☆15Updated 3 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆67Updated 9 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆32Updated 5 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated last year
- Comma (and other) separated values☆77Updated 10 months ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆99Updated 2 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆102Updated 4 months ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 3 years ago
- Generic Programming using True Sums of Products☆156Updated 4 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month