ParaJPMail

ParaJPMail is a functioning e-mail application that enforces user-specified policies. It is an alternative implementation of the same case study as JPMail, written in Jif.

Refer to the README file on how to compile and use the application.

Download