Andrés Sicard-Ramírez's repositories
cook
The λ-calculus in Haskell in four different ways
haskell-ci
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
lambda-shell
A REPL for working with terms of the pure, untyped lambda calculus
language-dot
A library for the analysis and creation of Graphviz DOT files
lennart-lambda
Lennart Augustsson's lambda calculus cooked four ways
my-agda-stdlib
This isn't the "official" Agda standard library repository. Please don't submit pull request.
online-atps
A Client for the TPTP World in Haskell
pdf-toolbox
A collection of tools for processing PDF files in Haskell
plfa.github.io
An introduction to programming language theory in Agda
regex-tdfa-text
Fork of http://hub.darcs.net/shelarcy/regex-tdfa-text/
shellac
A library for constructing read-eval-print loops in a declarative manner
skiena-tadm
A collection of programs found in `The Algorithm Design Manual (2nd Edition) by Steven Skiena`
ST0244-2019-2-Practica
Enunciado de la práctica de lenguajes de programación