search

opprop / checker-framework-inference

Inference of pluggable types for Java
6 stars 13 forks source link

Update links to the manual and fix typos #421

Closed Ao-senXiong closed 1 year ago

Ao-senXiong commented 1 year ago

Replaces the link to EISOP and also fixes some typos.