User contributions for 2A02:810D:B208:1E00:45F0:CDB2:40BD:3FB4
Jump to navigation
Jump to search
17 April 2025
- 19:5419:54, 17 April 2025 diff hist +6,897 N Beta normal form Fixed the link to the η-conversion section of the main Lambda Calculus Page current