juanbono/type-driven-development-with-idris juanbono/type-driven-development-with-idris

  • Stars
    star
    4
  • Rank 3,298,492 (Top 66 %)
  • Language Idris
  • Created almost 9 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
juanbono/type-driven-development-with-idris
github

juanbono

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Ejercicios del libro Type Driven Development with Idris

More Repositories

1

verified-fp-agda

Functional Verified Programming in Agda - Exercises
Agda
7
star
2

tapl-haskell

Implementacion de los lenguajes explicados en Types and Programming Languages
Haskell
4
star
3

concrete-semantics-exercises

Learning Isabelle/HOL
Isabelle
3
star
4

criptografia

Criptografia - UTN FRBA 2017
Haskell
3
star
5

apollo-reason-react

OCaml
2
star
6

parser-combinators

Aprendiendo a usar parser combinators. Implementaciones de cosas vistas en papers. Practicas. Etc
Haskell
2
star
7

redes-2017

Apuntes y codigo de redes
2
star
8

swapp

Haskell
1
star
9

notas-adr

Notas tomadas en la asignatura Administración de Recursos - Año 2017
1
star
10

blas

Rust
1
star
11

Prolog-Paradigmas

Programas hechos con SWI-Prolog
Prolog
1
star
12

subastas-iasc-2018

Elixir
1
star
13

tapl-reason-react

OCaml
1
star
14

paradigmas

Practicas para el final de paradigmas
Haskell
1
star
15

flume-demo

Demostración de Apache Flume, para la asignatura Implementación de Bases de Datos NoSQL
Makefile
1
star
16

vector-criterion-example

Haskell
1
star
17

learning-ml

Jupyter Notebook
1
star
18

flume-interceptor-example

Scala
1
star
19

aoc2022

Rust
1
star
20

vlcj_tutorial

Primer commit
Java
1
star
21

husky-elixir

🐶 Git hooks made easy
Elixir
1
star