Kants kategorischer Imperativ in Haskell

Corny versucht es an etwas ganz Experimentellem: Kants kategorischem Imperativ in Haskell. Die absolute Erleuchtung ist noch nicht eingetreten, das Debugging und Modellieren macht aber Spaß.

Anschließend gibt Ingo eine kurze Einführung in die Multiversenphilosophie in der Mengenlehre.