4 ms·

Working with Catala in academy. Also trying to model Catala as a type system embedded in Haskell

• lopatin 5y ago
  What are the benefits of having this be the type level? Asking as a reformed purist.
  • rsrsrs86 5y ago
    Ok I expressed it wrong. I am just trying to embed a legal DSL it in Haskell and get the type system to help building type-safe contracts - same as embedding the STLC in GADTs
• denismerigoux 5y ago
  Hi, Catala author here. This is amazing! Please get in touch if you have any questions or just want to talk :)
  • rsrsrs86 5y ago
    How can I reach you?
    • oh_sigh 5y ago
      denis [point] merigoux [at] inria [point] fr