Revision c252e834ccbc4f037814b97a9037e03cac42214f authored by Youyou Cong on 25 April 2021, 10:30:50 UTC, committed by Youyou Cong on 25 April 2021, 10:30:50 UTC
1 parent 71ca3a3
| 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 ...
