diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-08-23 01:14:49 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-08-23 01:14:49 +1000 |
| commit | 599e6d7a0ad372fb4e0e41bb501f19091524888e (patch) | |
| tree | a4d71d1a483a3edd0ad94d1b8a554c68873ab220 /ProofGraph.hs | |
| parent | d7b861b5d02b5cd0f1f13ab3845a17c30bac7db8 (diff) | |
Encapsulates a partial graph with at most one each input/output
Diffstat (limited to 'ProofGraph.hs')
0 files changed, 0 insertions, 0 deletions