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: 33
• Following: 133
• Total stars: 11
• Repositories count: 93
• Created at: 2022-11-16T21:57:58.688Z
• Updated at: 2025-03-24T01:52:03.524Z
• Last synced at: 2025-03-24T01:52:03.524Z

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 1