Skip to content

Sketis

Search
  • Desert
  • Isabelle
    • Isabelle Workshop 2024
    • Isabelle Workshop 2022
    • Isabelle Workshop 2020
    • Isabelle Workshop 2018
  • Main
  • Impressum
Local

Haskell in Bayern

Wed 01-Jun-2016 Makarius

The new website http://haskell.bayern proves that the official Bavarian flag and lambda-calculus fit perfectly well together.

Moreover, http://augsburg.haskell.bayern refers to Curry-Club Augsburg.

Post navigation

Previous PostVideo for Isabelle presentation at Curry Club AugsburgNext PostThe Isar proof language in 2016

Website of Dr. Makarius Wenzel

Recent Posts

  • Isabelle Workshop 2024 at ITP
  • Isabelle development self-hosted on Phorge
  • Isabelle as System Platform for the Archive of Formal Proofs (AFP)
  • Isabelle Workshop 2022 at FLoC
  • After Phabricator: We Phorge It!

Archives

  • September 2024
  • August 2024
  • October 2023
  • June 2022
  • October 2021
  • November 2020
  • September 2020
  • June 2020
  • March 2020
  • January 2020
  • December 2019
  • November 2019
  • July 2019
  • June 2019
  • May 2019
  • April 2019
  • February 2019
  • November 2018
  • October 2018
  • August 2018
  • July 2018
  • June 2018
  • May 2018
  • March 2018
  • February 2018
  • December 2017
  • November 2017
  • October 2017
  • August 2017
  • July 2017
  • April 2017
  • February 2017
  • January 2017
  • December 2016
  • November 2016
  • September 2016
  • August 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • February 2016
  • January 2016
  • December 2015
  • November 2015
  • July 2015
  • May 2015
  • April 2015
  • March 2015
  • February 2015
  • January 2015
  • December 2014
  • November 2014

Categories

  • Admin
  • Coq
  • Global Financial System
  • Isabelle
  • Lean Prover
  • Local
  • Media
  • ML
  • PIDE
  • Proposals
  • Scala
  • Science

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
Proudly powered by WordPress