🚀 go-pugleaf

In article <01bc6ede$bd82eb00$54c7e7ca@oec-net> yamaguch@rdf044.cs.man.ac.uk (Haruo Yamaguchi) writes:

> In article <okhgfd284o.fsf@bakura.kaba.or.jp> nyoshi@kaba.or.jp
> (YOSHIDA Nobuaki) writes: 
>    >$B$b$C$H$b!"$$$/$i%a%b%j$@$N$,$d$9$/$J$C$?$H$O$$$C$F$b$=$3$$$i$X$s$KE>$,$C(B
>    >$B$F$$$k%Q%=%3%s$G%^%H%b$KF0$/(B"ML"$B$C$F(Bocaml$B$7$+;v<B>e$J$$$o$1$G(B($B;vBV$,JQ(B
>    >$B$o$k$3$H$r(B($B$9$3$7$@$1(B)$B4|BT$7$F$^$9$,(B)$B!"(B"ML"$B$N%]%$%s%?$K(Bocaml$B$H$+$,F~$C(B
>    >$B$F$$$?$[$&$,$$$$$h$&$J5$$b$7$^$9$M$'!#(B
> 
> NJ-SML$B$H$+(BMoskow-ML$B$H$+$O%@%a$J$s$G$9$+!)(B
> 
> moskow-ml -> 	http://www.dina.kvl.dk/~sestoft/mosml.html
> 		ftp.dina.kvl.dk:pub/Staff/Peter.Sestoft/mosml 

$B>e5-$N%3%a%s%H(B($B$$$/$i%a%b%j$,$"$C$F$bB-$j$J$$!D(B)$B$O(BSML/NJ$B$K$D$$$F$@$H;W(B
$B$$$^$9!#(B

Moscow ML$B$O(Bcaml-light$B%Y!<%9$J$N$G!"8e7Q%P!<%8%g%s$G$"$k(BObjective Caml
$B$KBP$7$F$O@-G=$,Nt$C$F$$$^$9!#(B($B$7$+$7!"Nw2AHG(BSML$B$H$7$F$O==J,;H$($k$G$7$g(B
$B$&(B)

($BC1$J$kJ8=q@bL@$G$7$?(B)

$B$A$J$_$K(BO'Caml$B$H(Bcaml-light$B$N9qFb$N%_%i!<$O(B
http://wwwfun.kurims.kyoto-u.ac.jp/soft/
$B$G$9!#(B

---------------------------------------------------------------------------
Jacques Garrigue	Kyoto University      garrigue@kurims.kyoto-u.ac.jp
		<A HREF=http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/>JG</A>