4 ms·

I've long desired a strongly-typed s-expression syntax that has the power of Haskell or Idris, but still looks and feels like the blank canvas that is Lisp.

• platz 9y ago
  https://github.com/lexi-lambda/hackett https://github.com/lexi-lambda/hackett https://lexi-lambda.github.io/blog/2017/05/27/realizing-hackett-a-metaprogrammable-haskell/ https://lexi-lambda.github.io/blog/2017/05/27/realizing-hack...
  • kobeya 9y ago
    Thanks!