断断续续学了小一个月,终于学完了 plfa 的第一部分,Agda 好玩
 
 
Back to Top