[Haskell-cafe] Call for Participation: HAFDAL workshop, 3rd March in Edinburgh