Posts by Finley McIlwaine

Choreographing a dance with the GHC specializer (Part 2)
Finley McIlwaine
Thursday, 13 June 2024

Choreographing a dance with the GHC specializer (Part 1)
Finley McIlwaine
Monday, 15 April 2024

GHC activities report: October–November 2023
Adam Gundry, Andreas Klebinger, Ben Gamari, Finley McIlwaine, Matthew Pickering, Rodrigo Mesquita, Sam Derbyshire, Zubin Duggal
Thursday, 21 December 2023

GHC activities report: August–September 2023
Adam Gundry, Andreas Klebinger, Ben Gamari, Finley McIlwaine, Jaro Reinders, Matthew Pickering, Sam Derbyshire, Zubin Duggal
Thursday, 12 October 2023

Reducing Haddock's Memory Usage
Finley McIlwaine
Friday, 18 August 2023

GHC activities report: February–March 2023
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Finley McIlwaine, Adam Gundry
Thursday, 27 April 2023

Announcing a live tutorial on eventlog2html and ghc-debug
Finley McIlwaine, Andres Löh
Wednesday, 23 November 2022

Verifying initial conditions in Plutus
Edsko de Vries, Finley McIlwaine
Tuesday, 23 August 2022