jaalonso / Examenes_de_PF_con_Haskell
Exámenes de programación funcional con Haskell
☆9Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Examenes_de_PF_con_Haskell
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆38Updated this week
- An experimental Haskell library for programming with effectful runners.☆29Updated 4 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 2 months ago
- Category theory and algebra☆27Updated 8 years ago
- My master thesis about generic programming and ornaments☆16Updated 8 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Updated 3 years ago
- being the materials for Summer 2013's course☆110Updated last year
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆22Updated 5 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆70Updated 5 years ago
- checkers for algebra driven design☆34Updated last year
- ET (IPL) language interpreters and literature☆26Updated 5 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 10 months ago
- being a thing I build on a Saturday☆28Updated 6 years ago
- Simplified Observational Type Theory☆81Updated last year
- Library of categories, with categorical constructions on them☆54Updated last year
- ☆45Updated 5 years ago
- Modular arithmetic, promoting moduli to the type level☆24Updated 6 months ago
- Porting of software foundations book to Agda☆37Updated 10 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 6 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 3 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- ICFP tutorial☆40Updated 3 years ago
- Beseder: make impossible state transitions impossible☆32Updated 4 years ago
- System F implemented in Haskell☆24Updated 12 years ago
- Correctness of normalization-by-evaluation for STLC☆21Updated 5 years ago
- Generate a special combinator from any data type.☆11Updated 5 years ago