search

ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective
10 stars 0 forks source link

Remove tabs #3

Closed michaelto20 closed 8 years ago

michaelto20 commented 8 years ago

Remove tab characters from all files

michaelto20 commented 8 years ago

Removed all all tab characters and replaced them with spaces