@@ -206,10 +206,8 @@ type BFMonad a = ErrorState BFError BFState a
206206readInput :: BFMonad Int
207207readInput = error "TODO: readInput"
208208
209−-- | This operation should write the element at the data tape head to the
210−-- output stream.
211−--
212−-- It should just prepend the character to the start of the string using the
209+-- | This operation should write one element to the output stream.
210+-- This should just prepend the character to the start of the string using the
213211-- `:` (cons) operator.
214212--
215213-- This will make writing O(1).