pire-0.2.5

pire-0.2.5

A Refactoring Tool for Pi-forall, a simple dependently typed language developed by Stephanie Weirich

Signatures

Modules