Next:
Defining coercions
, Previous:
Defining new macros
, Up:
Malebolge
3.4.3 Creating new expanders