Posts tagged with "pl"

The advent of code language

Path induction: a GADT perspective