https://github.com/jacquescarette/finally-tagless

Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
https://github.com/jacquescarette/finally-tagless

Last synced: about 1 year ago
JSON representation

Repo of the original work on finally tagless (and a lot of other metaocaml work besides)

• Host: GitHub
• URL: https://github.com/jacquescarette/finally-tagless
• Owner: JacquesCarette
• License: bsd-3-clause
• Created: 2018-11-22T23:00:28.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-11-28T20:23:43.000Z (over 7 years ago)
• Last Synced: 2024-10-11T21:52:15.732Z (over 1 year ago)
• Language: OCaml
• Size: 4.16 MB
• Stars: 43
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# finally-tagless

Repo of the original work on finally tagless (and a lot of other metaocaml work besides)

Full history included. And quite a bit of work that was never published - there's a few gems still buried in

there for the adventurous software archeologist. Several papers (latex source and metaocaml/Haskell sources included)

are here too. And some unfinished experiments to boot.