https://github.com/jpvillaisaza/abel

Category theory applied to functional programming
https://github.com/jpvillaisaza/abel

agda category-theory haskell

Last synced: 3 days ago
JSON representation

Category theory applied to functional programming

• Host: GitHub
• URL: https://github.com/jpvillaisaza/abel
• Owner: jpvillaisaza
• Created: 2012-11-15T14:16:20.000Z (almost 12 years ago)
• Default Branch: master
• Last Pushed: 2016-08-30T20:22:22.000Z (about 8 years ago)
• Last Synced: 2023-03-26T01:43:59.238Z (over 1 year ago)
• Topics: agda, category-theory, haskell
• Language: Agda
• Homepage:
• Size: 80.1 KB
• Stars: 6
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Category Theory Applied to Functional Programming

=================================================

This is the code for (Villa Isaza 2014), in which we study some of the

applications of category theory to functional programming,

particularly in the context of the Haskell functional programming

language, and the Agda dependently typed functional programming

language and proof assistant.

Villa Isaza, Juan Pedro (2014). Category Theory Applied to Functional

Programming. Undergraduate project. EAFIT. URL:

[http://bit.ly/1cq5fwN](http://bit.ly/1cq5fwN).

The Haskell code was tested with GHC 7.6.3. Most of it corresponds to

or is based on standard Haskell code, and can be used as it is. See

`src/Cain.hs`.

The Agda code was tested with:

- Agda 2.3.2.2 and the Agda standard library 0.7

- Agda 2.5.1.1 and the Agda standard library 0.12

See `src/Abel.agda`.

For more information, send an email to

[[email protected]](mailto:[email protected]).