normalization-system-f-notes. Notes around strong normalization for system f.

github.com/ezrosent/normalization-system-f-notes
by @ezrosent

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.