3

Tylr: A tiny tile-based editor

 1 month ago
source link: https://tylr.fun/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.

tylr let c = λ m , n . m ! / ( n ! * ( m - n ) ! ) in c   ( 9 , 3 ) 

Shift
Select
Pick Up | Put Down
Backspace
Remove / Restructure
Delete
Remove / Restructure
Construct
single-digit num
single-char var
plus | minus | times | div
Space
pair | factorial | application
parentheses
ifzero
lambda | let

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK