Re:ΛProlog: Logic programming in higher-order logic
by polairscience on Tuesday February 24, 2026 @08:38AM
(#47137011)
I think that might be my favorite department/lab website I've ever come across. Really fun. Doesn't at all align with the contemporary design status quo and it shows just how good a rich website can be on a large screen. Big fan.
https://www.lix.polytechnique.fr/