a web page drawing type assignment figures

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

I'd like to announce my web page. 


You can

(1) see a type assignment figure for the lambda-term that
    you enter, and
(2) can see a natural deduction proof for the implicational
    formula (i.e., simple type) that you enter.

We are just begining the project. So, I'd appreciate any information,
system or project similar to this.

Sachio Hirokawa

Department of Informatics | tel:    +81-92-583-7640
Kyushu University         | fax:    +81-92-583-7635
Kasuga-Kohen 6-1, Kasuga  | e-mail: hirokawa@i.kyushu-u.ac.jp
Fukuoka 816 JAPAN         | url:    http://whale.i.kyushu-u.ac.jp/~hirokawa