https://wiki.tfpie.science.ru.nl/api.php?action=feedcontributions&feedformat=atom&user=OliverWestphal 2026-04-27T20:46:29Z User contributions MediaWiki 1.43.0 https://wiki.tfpie.science.ru.nl/index.php?title=16:00_-_16:30&diff=281 2019-06-11T15:45:40Z

<p>OliverWestphal: Created page with &quot;Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs Media:TFPIE_2019_Teletype_Specs.pdf&quot;</p> <hr /> <div>Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs<br /> <br /> [[Media:TFPIE_2019_Teletype_Specs.pdf]]</div>

OliverWestphal https://wiki.tfpie.science.ru.nl/index.php?title=File:TFPIE_2019_Teletype_Specs.pdf&diff=280 2019-06-11T15:41:27Z

<p>OliverWestphal: Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs</p> <hr /> <div>Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs</div>

OliverWestphal