Skip to content

Migrate to dhall 1.26.1 and merge types and terms#54

Merged
clementd-fretlink merged 1 commit intofretlink:masterfrom clementd-fretlink:polykindsOct 7, 2019
+46-67

Commits