# 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.Nat
This is an Agda code block ↑
number : Nat
number = suc (suc zero)
This is an Agda code block as well ↑