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

语言：TeX · GitHub 星标：15 · Fork：1

话题：generic-programming · meta-circular · metaprogramming · reflection · type-theory

在 GitHub 上查看原仓库