https://github.com/joom/direct-reflection-for-free

using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
https://github.com/joom/direct-reflection-for-free

generic-programming meta-circular metaprogramming reflection type-theory

Last synced: about 2 months ago
JSON representation

using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell

• Host: GitHub
• URL: https://github.com/joom/direct-reflection-for-free
• Owner: joom
• Created: 2018-09-29T03:29:28.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-02-21T14:59:36.000Z (almost 5 years ago)
• Last Synced: 2023-08-13T04:02:02.587Z (over 1 year ago)
• Topics: generic-programming, meta-circular, metaprogramming, reflection, type-theory
• Language: TeX
• Homepage:
• Size: 810 KB
• Stars: 15
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project