Main.lean


1
2
3
4
5
6
7
8
9
10
11
12

def f (s : String) : String :=
  s!"<img src=\"/{s}\" width=\"30%\">"

def imgs := ["who-would-win.png", "dafny-vs-lean.jpg", "lean.jpg", "proglang.png", "lean.png", "twostate.png", "class-change.png", "dafny-vs-lean2.jpg"]

def main : IO Unit :=
  do
    IO.println "Content-Type: text/html"
    IO.println ""
    IO.println "<h1 style=\"display:inline;font-size: 120px;background: linear-gradient(90deg,red,yellow,blue,violet,orange,green,indigo);background-clip:text;color:transparent;\">LEAN FAN SITE</h1>"
    IO.println (String.join (imgs.map f))
    IO.println "<a href=\"/Main.lean\">Made using the best language ever</a>"