diff options
| author | Anthony Wang | 2025-05-06 13:04:54 -0400 |
|---|---|---|
| committer | Anthony Wang | 2025-05-06 13:04:54 -0400 |
| commit | 12e534c122373100bca9aafcbd5d429448f854c0 (patch) | |
| tree | 70145bbe3f7544c4eb98446103c863e8caad3dce | |
| parent | a169bef9cfd27b1b42cb282463d0def6559af064 (diff) | |
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | Main.lean | 3 | ||||
| -rwxr-xr-x | cgi-bin/leansite | bin | 8042480 -> 0 bytes | |||
| -rw-r--r-- | index.html | 5 | ||||
| -rw-r--r-- | lake-manifest.json | 5 | ||||
| -rw-r--r-- | lakefile.toml | 10 | ||||
| -rw-r--r-- | lean-toolchain | 1 |
7 files changed, 5 insertions, 21 deletions
diff --git a/.gitignore b/.gitignore deleted file mode 100644 index b148673..0000000 --- a/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/.lake -/.lake @@ -5,8 +5,7 @@ def imgs := ["who-would-win.png", "dafny-vs-lean.jpg", "lean.jpg", "proglang.png def main : IO Unit := do - IO.println "Content-Type: text/html" - IO.println "" + IO.println "<!DOCTYPE html>" 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>" diff --git a/cgi-bin/leansite b/cgi-bin/leansite Binary files differdeleted file mode 100755 index 61a7887..0000000 --- a/cgi-bin/leansite +++ /dev/null @@ -1 +1,4 @@ -<meta http-equiv="refresh" content="0;url=/cgi-bin/leansite"> +<!DOCTYPE html> +<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> +<img src="/who-would-win.png" width="30%"><img src="/dafny-vs-lean.jpg" width="30%"><img src="/lean.jpg" width="30%"><img src="/proglang.png" width="30%"><img src="/lean.png" width="30%"><img src="/twostate.png" width="30%"><img src="/class-change.png" width="30%"><img src="/dafny-vs-lean2.jpg" width="30%"> +<a href="/Main.lean">Made using the best language ever</a> diff --git a/lake-manifest.json b/lake-manifest.json deleted file mode 100644 index 7dada8e..0000000 --- a/lake-manifest.json +++ /dev/null @@ -1,5 +0,0 @@ -{"version": "1.1.0", - "packagesDir": ".lake/packages", - "packages": [], - "name": "leansite", - "lakeDir": ".lake"} diff --git a/lakefile.toml b/lakefile.toml deleted file mode 100644 index 4da0fb0..0000000 --- a/lakefile.toml +++ /dev/null @@ -1,10 +0,0 @@ -name = "leansite" -version = "0.1.0" -defaultTargets = ["leansite"] - -[[lean_lib]] -name = "Leansite" - -[[lean_exe]] -name = "leansite" -root = "Main" diff --git a/lean-toolchain b/lean-toolchain deleted file mode 100644 index 7aca1d8..0000000 --- a/lean-toolchain +++ /dev/null @@ -1 +0,0 @@ -leanprover/lean4:v4.19.0 |