Comment Comment by rsrsrs86 Working with Catala in academy. Also trying to model Catala as a type system embedded in Haskell parent rsrsrs86 5 years ago
