Skip to content
Snippets Groups Projects
Normal view Permalink
lambdapi.pkg 43 B
Newer Older
hondet's avatar
Remove 'specs' directory
hondet committed
1 2 
package_name = pvs
root_path = pvs.prelude