Stdlib.Debug.Todo
Contents
axiom todo {A : Type} : ASource#
Something that hasn't yet been implemented
