From magnus.myreen at gmail.com  Fri Feb 23 12:00:54 2018
From: magnus.myreen at gmail.com (Magnus Myreen)
Date: Fri, 23 Feb 2018 13:00:54 +0100
Subject: [CakeML-dev] Meeting about Isabelle/HOL + CakeML
Message-ID: <CAObu-XcoxxB3vUOTTdGJU7gDxobmPJy2Ydc_JNXFtU_xMy0ohw@mail.gmail.com>

Lars Hupel is organising a hangout meeting and would like people that
are interested sign up by tomorrow. The doodle is here:

https://doodle.com/poll/sa4ip7cztdz5fvpc

Cheers,
Magnus