Show HN: Google Calculator meets Haskell meets Prolog meets a REPL in a web page
lastcalc.org