jaalonso / Examenes_de_PF_con_Haskell
Exámenes de programación funcional con Haskell
☆9Updated last year
Alternatives and similar repositories for Examenes_de_PF_con_Haskell
Users that are interested in Examenes_de_PF_con_Haskell are comparing it to the libraries listed below
Sorting:
- Simplified Observational Type Theory☆81Updated 2 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆71Updated 6 years ago
- ☆45Updated 5 years ago
- My master thesis about generic programming and ornaments☆16Updated 8 years ago
- Example CRUD web server+client using Servant☆34Updated 2 years ago
- ☆31Updated 3 years ago
- ☆15Updated 5 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 3 years ago
- Porting of software foundations book to Agda☆38Updated 11 years ago
- Control.Effects☆19Updated 6 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- ☆10Updated 3 years ago
- ☆50Updated 9 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- A quick, easy, and declarative task runner for Haskell code to destroy your boiler plate!☆33Updated 7 years ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 5 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 5 years ago
- being the materials for Summer 2013's course☆112Updated 2 years ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆22Updated 6 years ago
- Category theory applied to functional programming (undergraduate project)☆32Updated 2 weeks ago
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- First-class type families☆87Updated 3 weeks ago
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- what I did on my holidays☆12Updated 6 years ago