型の世界の計算を値の世界の計算に一度変換して、結果を型の世界に戻す(MPLは全ての計算を型の世界で行っている) #boostjp
11:50 PM - 9 Oct 2015
0 replies
2 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.