ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Fri 16 Sep 2022 16:00 - 17:30 at Kosovel - Demos + Discussions Chair(s): Nadia Polikarpova

In this session, symposium attendees are invited to give short demos of Haskell-related tools or suggest topics for small-group discussions. Please suggest demos / discussion topics here.

Current schedule:

  1. Hectare GHC plugin - Matthías Páll Gissurarson
  2. PropR: Automatic Program Repair for Haskell - Matthías Páll Gissurarson
  3. GSOL: A rewrite rule checker for GHC - Makoto Hamana
  4. Contributing to The Haskell Error Message Index - David Thrane Christiansen
  5. Agda2Hs: Reasonable Agda is Verified Haskell - Jesper Cockx
  6. PackageRank: Hackage fearure - Ondřej Kubánek
  7. setup-agda: a Github CI tool for Agda - Orestis Melkonian
  8. rewrite-inspector - Orestis Melkonian
  9. How to use Liquid Haskell every day - Lisa Vasilenko

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

16:00 - 17:30
Demos + DiscussionsHaskell at Kosovel
Chair(s): Nadia Polikarpova University of California at San Diego
Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Makoto Hamana Gunma University, Japan, David Thrane Christiansen The Haskell Foundation, Jesper Cockx TU Delft, Lisa Vasilenko IMDEA Software Institute, Orestis Melkonian University of Edinburgh