自定义博客皮肤VIP专享
点击选择上传的图片
格式为PNG、JPG，宽度*高度大于1920*100像素，不超过2MB，主视觉建议放在右侧，请参照线上博客头图
请上传大于1920*100像素的图片！
图片格式为PNG、JPG，不超过1MB，可上下左右平铺至整个背景
图片格式为PNG、JPG，图片宽度*高度为300*38像素，不超过0.5MB
RGB颜色，例如：#AFAFAF
自定义博客皮肤
这两天在看HASKELL到HOL的转换，痛苦中。。。
2006-12-01 14:43:00 1241
开张了，表示一个开始，争取每天都来写学习和研究心得。
2006-11-30 12:40:00 430
TA创建的收藏夹 TA关注的收藏夹
TA关注的人
RSS订阅
1241