change fold to foldable in Traversable/Type

FormationAI / dhall-bhat

Tasty meal of Dhall

66 stars 11 forks source link

Closed wavewave closed 6 years ago

wavewave commented 6 years ago

This is a bug in Traversable/Type.

FintanH commented 6 years ago

@wavewave Looks good, just wanna check that you scoured through the other files for this typo?

wavewave commented 6 years ago

not exhaustively. do we have any tests for this?