diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-01-01 11:04:09 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-01-01 11:04:09 -0500 |
| commit | 6c16d6f8418dbf32b4c17067d7f9617bbdc2ad8f (patch) | |
| tree | a5d174cb097382c951b69390af2fe978a3c35b68 /src/pathcheck.sig | |
| parent | 914c437ab2251be982c4c19f659589360bf41a59 (diff) | |
Reactive record pattern
Diffstat (limited to 'src/pathcheck.sig')
0 files changed, 0 insertions, 0 deletions