c88b251 | Youyou Cong | 02 May 2021, 10:36:52 UTC | Revert "rename variables" This reverts commit c252e834ccbc4f037814b97a9037e03cac42214f. | 02 May 2021, 10:36:52 UTC |
c252e83 | Youyou Cong | 25 April 2021, 10:30:50 UTC | rename variables | 25 April 2021, 10:30:50 UTC |
71ca3a3 | Youyou Cong | 22 February 2021, 13:25:32 UTC | update README.md | 22 February 2021, 13:25:32 UTC |
fd1021f | Youyou Cong | 22 February 2021, 09:26:28 UTC | add Agda files & README | 22 February 2021, 09:26:28 UTC |
c9d5bab | Youyou Cong | 22 February 2021, 09:21:01 UTC | Initial commit | 22 February 2021, 09:21:01 UTC |