alduzarate/lambda-calculus-interpreter alduzarate/lambda-calculus-interpreter

  • Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
alduzarate/lambda-calculus-interpreter
github

alduzarate

Reviews

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

Repository Details

Intérprete de λ-cálculo de simple tipado. Implementación de la función de Ackermann para su testeo.

More Repositories

1

Comunicaciones

Material de comunicaciones - LCC
Shell
3
star
2

force-directed-graph-drawing

Algoritmo de Fruchterman-Reingold para visualización de grafos.
Python
1
star
3

monadic-evaluators

Implementación de un intérprete en Haskell de un lenguaje imperativo simple con evaluadores monádicos.
Haskell
1
star