natepisarski 

A library for managing program fault-points. Use static types to propagate errors, reduce vulnerable code, and design functional systems