minor: polishing
export of ttlite src to agda (#57)