Add trivial failure examples

xaviripo / bachelor-thesis

Bachelor's Thesis (Mathematics / Computer Science and Software Engineering @ University of Barcelona). See Releases for final version.

0 stars 0 forks source link

Closed xaviripo closed 4 years ago

xaviripo commented 4 years ago

Add an example that fails so that users know what to expect when a program isn't well typed.