lacrimosacat
@lacrimosacat
Fri, Jul 8, 2016 5:08 PM
1
www.cs.unc.edu/~stotts/723/Lambda/church.html
[Flolac16] some deduction on church numerals.
載入新的回覆