diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-10-07 11:09:44 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-10-07 18:27:32 +0200 |
| commit | 2143eb381fc28e2d676a9c9a433426b1b2dbf737 (patch) | |
| tree | 4842e6c9a23d64b98a06c758d85fe9db94d40dad /src/Process.hs-boot | |
| parent | 4161f5776e5e7a01fb9eb62351c0f648bb918076 (diff) | |
Process variables and expression type
Diffstat (limited to 'src/Process.hs-boot')
| -rw-r--r-- | src/Process.hs-boot | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Process.hs-boot b/src/Process.hs-boot new file mode 100644 index 0000000..7ddb5ea --- /dev/null +++ b/src/Process.hs-boot @@ -0,0 +1,4 @@ +module Process where + +data Process +data ProcName |