https://github.com/brauliov/logica-y-programacion
Prácticas de la asignatura de Lógica y Programación del curso 2015-2016
https://github.com/brauliov/logica-y-programacion
criptography functional-programming haskell lambda-calculus
Last synced: 6 months ago
JSON representation
Prácticas de la asignatura de Lógica y Programación del curso 2015-2016
- Host: GitHub
- URL: https://github.com/brauliov/logica-y-programacion
- Owner: BraulioV
- License: gpl-3.0
- Created: 2016-01-07T11:51:11.000Z (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2016-10-29T11:32:44.000Z (almost 9 years ago)
- Last Synced: 2023-02-27T07:23:20.530Z (over 2 years ago)
- Topics: criptography, functional-programming, haskell, lambda-calculus
- Language: Haskell
- Size: 62.5 KB
- Stars: 3
- Watchers: 2
- Forks: 2
- Open Issues: 0