This is correct. That's why you have core type theories. Very small, easy to und...

		guerrilla 4 months ago \| parent \| context \| favorite \| on: Systems Correctness Practices at AWS: Leveraging F... This is correct. That's why you have core type theories. Very small, easy to understand and implement in a canonocal way. Other languages can be compiled to them.