Popular repositories Loading

1. verified-fp-agda verified-fp-agda Public

   Functional Verified Programming in Agda - Exercises

   Agda 7

2. type-driven-development-with-idris type-driven-development-with-idris Public

   Ejercicios del libro Type Driven Development with Idris

   Idris 4 2

3. tapl-haskell tapl-haskell Public

   Implementacion de los lenguajes explicados en Types and Programming Languages

   Haskell 4 2

4. criptografia criptografia Public

   Criptografia - UTN FRBA 2017

   Haskell 3

5. webcola-wasm webcola-wasm Public

   Forked from Ameobea/webcola-wasm

   Javascript constraint-based graph layout

   TypeScript 3

6. haskell-course haskell-course Public

   Forked from byorgey/haskell-course

   Introductory Haskell course materials (originally CIS 194 @ UPenn)

   Haskell 2