There is provided mechanisms for encoding an information sequence into an encoded sequence. A method is performed by an information encoder. The method comprises obtaining the information sequence. The method comprises inserting at least one checkpoint sequence in the information sequence. The method comprises encoding the information sequence comprising the at least one checkpoint sequence into the encoded sequence using a polar code. There is also provided a method for decoding such an encoded sequence.