コミット履歴

作者 SHA1 メッセージ 日付
  Michael Coblenz d7452bf58f Add MAlonzo directory. (#2978) 6 年 前
  Paolo G. Giarrusso c56761e833 Create Agda.gitignore 11 年 前