BuBBLE: A Lisp Dialect DSL Written in Haskell Posted by Ninjacop123 on Saturday August 25, 2018 @12:23AM from the github.com dept. https://github.com/Ninjacop/BuBBLE ( 8 comments | 51 points | on HN )
[0] https://github.com/Ninjacop/BuBBLE/wiki
Based around a paper, Type Systems as Macros [1]
[0] https://github.com/lexi-lambda/hackett
[1] http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf
https://github.com/racket/typed-racket