2 ms·Do you have a (more or less) formal description of the type system?by dmbaturin 11y agoDo you have a (more or less) formal description of the type system?