• LICENSE -rw-r--r-- 20139 bytes
• Main.lean -rw-r--r-- 1135 bytes
• bad-apple.png -rw-r--r-- 499832 bytes
• class-change.png -rw-r--r-- 670549 bytes
• cuisine.jpg -rw-r--r-- 597048 bytes
• discrimination.png -rw-r--r-- 40443 bytes
• donotlean.jpg -rw-r--r-- 52443 bytes
• fbip.jpg -rw-r--r-- 80049 bytes
• fcitx5-lean.tar.gz -rw-r--r-- 38642 bytes
• flt-dafny.png -rw-r--r-- 81004 bytes
• flt.png -rw-r--r-- 369777 bytes
• imax.jpg -rw-r--r-- 197173 bytes
• index.html -rw-r--r-- 1030 bytes
• lean-anime.jpg -rw-r--r-- 170705 bytes
• lean-board-game.jpg -rw-r--r-- 683850 bytes
• lean-box.jpg -rw-r--r-- 124662 bytes
• lean-hands.png -rw-r--r-- 293260 bytes
• lean-inside.jpg -rw-r--r-- 40266 bytes
• lean-junk.png -rw-r--r-- 500331 bytes
• lean-phone.png -rw-r--r-- 188889 bytes
• lean-sign.jpg -rw-r--r-- 183593 bytes
• lean-tactics.png -rw-r--r-- 126455 bytes
• operator.png -rw-r--r-- 515175 bytes
• proglang.png -rw-r--r-- 656299 bytes
• proglangs.jpg -rw-r--r-- 548822 bytes
• purity.png -rw-r--r-- 61940 bytes
• style.css -rw-r--r-- 266 bytes
• switch.jpg -rw-r--r-- 582320 bytes
• universes.png -rw-r--r-- 319904 bytes
• who-would-win.jpg -rw-r--r-- 403729 bytes
• worksheet.jpg -rw-r--r-- 341042 bytes