<div dir="ltr">Hello,<div><br></div><div>I wonder if any of you in this list knows anything about ASN.1, and if you happen to know about are any tools to translate a given ASN.1 specification into an algebraic datatype(perhaps also with dependent types)?</div><div>Or maybe some type theorist have written about ASN.1 anywhere?</div><div><br></div><div>Best regards,</div><div>David</div><div><br></div><div><br></div></div>