04/08/03 01:56
>>104
Mercuryという言語で使える。
URLﾘﾝｸ(www.cs.mu.oz.au)
#Clean好きで来てみたら寂しいスレだ(′・ω・`)。
#現在Cleanの一意性型の論文読んるけどわかったようなわからんような。
04/08/03 01:56
>>104
Mercuryという言語で使える。
URLﾘﾝｸ(www.cs.mu.oz.au)
#Clean好きで来てみたら寂しいスレだ(′・ω・`)。
#現在Cleanの一意性型の論文読んるけどわかったようなわからんような。