[Agda] ASN.1 and type theory

[David Wahlstedt]

Thanks!


Den sön 22 apr. 2018 10:47Nils Anders Danielsson <nad at cse.gu.se> skrev:

> On 2018-04-20 17:06, David Wahlstedt wrote:
> > Or maybe some type theorist have written about ASN.1 anywhere?
>
> A quick search led to
>
>    https://github.com/bendy/fiat-asn.1,
>
> which is described as "A formally verified ASN.1 compiler using Fiat".
>
> --
> /NAD
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180422/affbddd2/attachment.html>