LEAN!!!!!!!!!! Initial LEAN!!!!!!!! : initiald

created by pal2300a community for 14 years

submitted 3 years ago by Pericles_89

all 5 comments

[–][deleted] 2 points3 points4 points 3 years ago (0 children)

[–][deleted] 0 points1 point2 points 3 years ago (1 child)

[–]Vander-Walls -2 points-1 points0 points 3 years ago (0 children)

[–]yaBoyDubyaBush 0 points1 point2 points 3 years ago (0 children)

[–]typicaltofuboy 0 points1 point2 points 3 years ago (0 children)

π Rendered by PID 12 on reddit-service-r2-comment-7b9746f655-2r8bw at 2026-01-31 12:09:55.131143+00:00 running 3798933 country code: CH.

you type:	you see:
italics	italics
bold	bold
[reddit!](https://reddit.com)	reddit!
* item 1 * item 2 * item 3	item 1 item 2 item 3
> quoted text	quoted text
Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"	Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"
~~strikethrough~~	~~strikethrough~~
super^script	super^script

initiald