|
I think this is kinda novel. It's a scheme-like language taking advantage of the fact that Haskell's type system is Turin-complete by compiling down to Haskell type signatures, then ghc typechecks it to compute the final result.
|
# ¿ Jan 29, 2014 10:58 |
|
|
# ¿ May 16, 2024 13:28 |