[Agda] ASN.1 and type theory

[David Wahlstedt]

Hello,

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)?
Or maybe some type theorist have written about ASN.1 anywhere?

Best regards,
David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180420/d1f1f546/attachment.html>