Create account

It is recommended to use a unique password that you are not using on any other website.
Real name is optional. If provided, it may be used to give you attribution for your work.
Give me the β-normal form of (𝛌𝚡.𝛌𝚢.𝛌𝚣.𝚡𝚡𝚢𝚢)𝚌𝚊𝚋

λLab is made by people like you.

254

edits

25

pages

2

recent contributors