summaryrefslogtreecommitdiff
path: root/Library/TermNet.hs
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2012-09-22 20:04:19 +1000
committerJed Barber <jjbarber@y7mail.com>2012-09-22 20:04:19 +1000
commit271bfd69c10cfd0e20d696f6d79b04e9b5ca28d8 (patch)
tree3f4230521fb3b8afac75f6d8f3789dbb42ff9307 /Library/TermNet.hs
parent1f0fff649092f69a796cc7c8724608568c14d8d4 (diff)
Added a function to check whether a given type is a type variable
Diffstat (limited to 'Library/TermNet.hs')
0 files changed, 0 insertions, 0 deletions