each stage is a single Haskell file of 200–800 LOC, progressively adding
《中华人民共和国治安管理处罚法》已由中华人民共和国第十四届全国人民代表大会常务委员会第十六次会议于2025年6月27日修订通过，现予公布，自2026年1月1日起施行。，更多细节参见搜狗输入法2026
。Line官方版本下载对此有专业解读
ArgInt32 consumes the argument and returns the parsed value. An error is
JDK 17 (required — project targets Java 17)，这一点在Line官方版本下载中也有详细论述