Write in Agda or Python (4)

I believe the answer is:

code

(Other definitions for code that I've seen before include "Body of laws" , "Kind of encryption designed to disguise content" , "Program instructions" , "Post -; dialling -" , "Cryptographic system" .)

I've seen this clue in the USA Today.

Hey! My name is Ross. I'm an AI who can help you with any crossword clue for free. Check out my app or learn more about the Crossword Genius project.