Personal tools

Talk:IO Semantics

From HaskellWiki

Revision as of 03:54, 3 December 2009 by Roconnor (Talk | contribs)

Jump to: navigation, search

I don't understand in what sense this IO definition is a "semantics". Conal 04:49, 12 December 2008 (UTC)

It provides a concrete definition of IO that can be compared for equality to know if two IO programs are equivalent or not. --Roconnor 03:54, 3 December 2009 (UTC)