User contributions
Jump to navigation
Jump to search
- 20:45, 15 March 2021 diff hist +1 m User talk:Atravers Indented signature (boring)
- 20:40, 15 March 2021 diff hist +423 User talk:Atravers Next response to HowardBGolden
- 12:38, 15 March 2021 diff hist +235 Monad laws Sections rewritten and reorganised
- 12:37, 15 March 2021 diff hist +544 User talk:Atravers Initial response to message from HowardBGolden
- 00:18, 11 March 2021 diff hist 0 m Burton-style nondeterminism Correccted Hancock-style interface >_<
- 23:58, 10 March 2021 diff hist +59 m Burton-style nondeterminism Specified the variety of nondeterminism
- 23:39, 10 March 2021 diff hist 0 m Burton-style nondeterminism Corrected spelling >_<
- 23:38, 10 March 2021 diff hist +335 Burton-style nondeterminism Changed Augustsson-Rittri-Synek reference to Hancock from Peyton-Jones book from 1987
- 14:28, 9 March 2021 diff hist -74 m HaWiki migration NonDeterminism transferred to "Nondeterminism, monadically"
- 14:19, 9 March 2021 diff hist -1 m Burton-style nondeterminism Minor changes
- 14:17, 9 March 2021 diff hist +5,118 N Burton-style nondeterminism Initial content
- 06:39, 9 March 2021 diff hist +913 N Talk:Nondeterminism, monadically Original remarks from old wiki page current
- 06:24, 9 March 2021 diff hist +1,270 N Nondeterminism, monadically Initial content
- 05:47, 9 March 2021 diff hist +28 ListT done right Added nondeterminism category
- 05:45, 9 March 2021 diff hist +48 m Euler problems/41 to 50 Added code and nondeterminism categories current
- 05:43, 9 March 2021 diff hist +48 m Contstuff Added code and nondeterminism categories current
- 05:40, 9 March 2021 diff hist +55 m Sudoku Added nondeterminism category current
- 05:36, 9 March 2021 diff hist +28 m Monads as containers Added nondeterminism category current
- 05:31, 9 March 2021 diff hist +28 m Stateful nondeterminism Added nondeterminism category current
- 05:29, 9 March 2021 diff hist +59 N Category:Nondeterminism Initial content current