added practicum files, updated gitignore
[fp1415.git] / files / practicum / WF.dcl
1 definition module WF
2
3 import StdFile
4
5 wf :: String *env -> ([(String,Int)],*env) | FileSystem env