Skip to content

Add Agda support in sloc#116

Merged
flosse merged 1 commit intoflosse:masterfrom pnlph:masterJan 27, 2020

Commits

Commits on Jun 29, 2019