search

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25
MIT License
17 stars 6 forks source link

[PreSmalltalks] Introduce `TypingJudgement` #309

Closed shingarov closed 3 months ago

shingarov commented 3 months ago

This commit introduces a TypingJudgement (for now) a simple object holding a term and its type. It also introduces a "math notation" to create typing judgements:

obj ∷ type