Normalization-by-evaluation continued

Today I carried on talking about NBE.

Advertisements