terms and types files - Githubissues

FormationAI / dhall-bhat

Tasty meal of Dhall

66 stars 11 forks source link

Closed FintanH closed 5 years ago

FintanH commented 5 years ago

[ ] Split all existing packages.dhall files into terms.dhall and types.dhall files
[ ] Create terms.dhall and types.dhall files where appropriate