User contributions
From tfpie
- 10:33, 15 March 2022 (diff | hist) . . (-96) . . TFPIE2022 (Upload wiki-hosted version of talk files)
- 10:29, 15 March 2022 (diff | hist) . . (+168) . . N File:Farrugia-Roberts and Sondergaard TFPIE 2022 slides.pdf ("Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Slide deck for presentation at TFPIE2022.) (current)
- 10:29, 15 March 2022 (diff | hist) . . (+184) . . N File:Farrugia-Roberts and Sondergaard TFPIE 2022 extended abstract.pdf ("Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Extended abstract accepted for presentation at TFPIE2022.) (current)
- 23:18, 14 March 2022 (diff | hist) . . (+279) . . TFPIE2022 (External link to files for "Teaching simple constructive proofs with Haskell programs")