prog

Cool Lisp projects

33 2020-05-23 20:57: On that note, there's Turnstile, a Racket-based Lisp that implements dependent types on macros: https://dl.acm.org/doi/10.1145/3371071 https://docs.racket-lang.org/turnstile/index.html
88: VIP:

do not edit these