lovebaihezi

View JSON Representation

Sound type is everything. true = λx.λy.x false = λy.λx.y if = λc.λx.λy.y ~> x ~> c

• Name: Lqxc
• Kind: user
• Followers: 29
• Following: 124
• Total stars: 9
• Repositories count: 92
• Created at: 2022-11-16T21:57:58.688Z
• Updated at: 2024-11-30T16:28:43.926Z
• Last synced at: 2024-11-30T16:28:43.926Z

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 1