https://github.com/juanbono/tapl-haskell

Implementacion de los lenguajes explicados en Types and Programming Languages
https://github.com/juanbono/tapl-haskell

programming-language toy-language

Last synced: 9 months ago
JSON representation

Implementacion de los lenguajes explicados en Types and Programming Languages

• Host: GitHub
• URL: https://github.com/juanbono/tapl-haskell
• Owner: juanbono
• License: gpl-3.0
• Created: 2016-10-30T09:46:14.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2017-09-06T17:58:57.000Z (over 8 years ago)
• Last Synced: 2025-06-07T22:03:36.330Z (10 months ago)
• Topics: programming-language, toy-language
• Language: Haskell
• Homepage:
• Size: 2.05 MB
• Stars: 4
• Watchers: 1
• Forks: 2
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# tapl-haskell

Implementacion hecha en Haskell de los lenguajes presentes en el libro Types and Programming Languages.

### Lenguajes:

* [**arith:** Expresiones aritméticas no tipadas](./arith/README.md)

* [**untyped:** Cálculo λ no tipado](./untyped/README.md)