Agda.TypeChecking.Serialise

encode

encodeFile

encodeInterface

decode

decodeFile

decodeInterface

decodeHashes

class EmbPrj a