module Precedences where

-- Terms (200 - 100)

-- Types (60 - 50)

-- Logic formers (40 - 30)

-- Descriptive properties (20)

-- Equalities (19)

-- Logic (18 - 10)

-- Proof (10 - 5)

-- Universes (separate)

