# Eradicate @Nullable Checker

Eradicate is a type checker for `@Nullable` annotations for Java. The goal is to eradicate null pointer exceptions. See [Eradicate](http://fbinfer.com/docs/eradicate.html).

The main entry point is module [Eradicate](eradicate.mli).