diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-05-11 14:33:48 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-05-11 14:33:48 +1000 |
| commit | 6b9b4e90e4f3bea26834d641899621ad02285b14 (patch) | |
| tree | 752bddbf852c57d208f702d67366c19f5d4852de /src/Library/TermNet.hs | |
| parent | 26dc9aa2ecda3b8847908a14b7777cc6d561caaf (diff) | |
isNumber and isName slightly more readable
Diffstat (limited to 'src/Library/TermNet.hs')
0 files changed, 0 insertions, 0 deletions