1. 7
    bennn avatar bennn 7 months ago | link | on: Total Haskell is Reasonable Coq

    Here’s a small example using hs-to-coq: https://dbp.io/essays/2018-01-16-how-to-prove-a-compiler-correct.html

    1. 2
      bennn avatar bennn 1 year ago | link | on: In Memoriam: Jean E. Sammet 1928-2017

      Another memorial: http://www.pl-enthusiast.net/2017/05/24/jean-sammet-a-remembrance/