odomanov/ttsemantics

Type-theoretical explication of semantic phenomena

Agda