Erasure keeps you honest with your types: the comp...

# announcements

[cedric]

Erasure keeps you honest with your types: the compiler has established your program is sound from a type perspectives so poof! The types are gone. You can't play tricks any more