Defining data types in theories

JacquesCarette / Drasil

Generate all the things (focusing on research software)

https://jacquescarette.github.io/Drasil

BSD 2-Clause "Simplified" License

143 stars 26 forks source link

Defining data types in theories #3339

Open balacij opened 1 year ago

balacij commented 1 year ago

It would be nice if we could define new types in theories and use them in inputs and outputs of programs. @samm82 currently needs them for his ChemCode project in particular.

JacquesCarette commented 1 year ago

I'm fairly sure there are existing issues that amount to this as well. This turns out to be a non-trivial feature request.

balacij commented 1 year ago

I don't remember seeing one exactly like this, but if it pops up, we can just close this one in favour of the older one.