# MdHighlightCode + Avdol + Yes! + I! + Am! + Jojo! > Jojo! This is the last of my hamon! Take it from me!! **Everything above should be preserved** ```haskell module Kira where data KillerQueue -- this code should be preserved ```
module MdHighlightCode where open import Agda.Builtin.NatThis is an Agda code block ↑
number : Nat number = suc (suc zero)This is an Agda code block as well ↑