From b269980bdc57a644edc7510615a1ecaccd2ae057 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Tue, 4 Nov 2025 05:49:36 +0100 Subject: added toplevel page --- lambda-calcul/haskell/public/index.html | 21 ++++++--------------- 1 file changed, 6 insertions(+), 15 deletions(-) (limited to 'lambda-calcul/haskell/public/index.html') diff --git a/lambda-calcul/haskell/public/index.html b/lambda-calcul/haskell/public/index.html index 500f298..c893865 100644 --- a/lambda-calcul/haskell/public/index.html +++ b/lambda-calcul/haskell/public/index.html @@ -10,19 +10,10 @@ -

λ-Calculus Terminal

- -

λ-Calculus Playground

+ REPL + Leaderboard

- -

- - + + -- cgit v1.3.1