diff options
author | Jed Barber <jjbarber@y7mail.com> | 2012-09-22 20:06:24 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-22 20:06:24 +1000 |
commit | eebc6a7216895d8e4d6ad38af09cd295099a256c (patch) | |
tree | 9d48383cf7bd97a59a96cfb87a12c2d6354777ac /Library/WriteProof.hs | |
parent | 814d1f9bae352d52a8aec40a8e0d864b222d8c84 (diff) |
Added standard AbsTerm and AppTerm datatypes
Diffstat (limited to 'Library/WriteProof.hs')
0 files changed, 0 insertions, 0 deletions