注意:题目中出现的链接需要替换后才能访问redpacket.kaaass.net=>redpacket.kaaass.net/archived/2018/。 为了给大家在无聊的新年找点事玩,我在BCPU和另一个群发了个解谜红包。由于支付宝可以发口令红包,于是只用藏8位数字就行了。题目很简单:r […]
Recommended Posts
-
没有图片
2020.06.27
当我们谈论Monad的时候(二) -
没有图片
2019.08.13
用了一段时间Agda的感想 -
没有图片
2017.03.11
IOL2004 T1 略解
Comments