swh:1:snp:373313627617f63181509188a8b0c474bf25b38f
Revision c88b251d074865dd2d22d7cd755a2ffa40c42891 authored by Youyou Cong on 02 May 2021, 10:36:52 UTC, committed by Youyou Cong on 02 May 2021, 10:36:52 UTC
This reverts commit c252e834ccbc4f037814b97a9037e03cac42214f.
1 parent c252e83
Tip revision: c88b251d074865dd2d22d7cd755a2ffa40c42891 authored by Youyou Cong on 02 May 2021, 10:36:52 UTC
Revert "rename variables"
Revert "rename variables"
Tip revision: c88b251
File | Mode | Size |
---|---|---|
README.md | -rw-r--r-- | 830 bytes |
cps.agda | -rw-r--r-- | 8.7 KB |
lambdac-red.agda | -rw-r--r-- | 7.1 KB |
lambdaf-red.agda | -rw-r--r-- | 17.5 KB |
lambdaf.agda | -rw-r--r-- | 13.2 KB |
Computing file changes ...