swh:1:snp:373313627617f63181509188a8b0c474bf25b38f
History
Tip revision: c88b251d074865dd2d22d7cd755a2ffa40c42891 authored by Youyou Cong on 02 May 2021, 10:36:52 UTC
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

README.md

back to top