[Ur] Research topic one semester Ur/Wev or dependent typer

Daniel Agota agota.daniel at gmail.com
Fri Nov 10 03:13:02 EST 2017

Previous message: [Ur] Set / Update values within a structure
Next message: [Ur] Research topic one semester Ur/Wev or dependent typer
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20171110/1491980a/attachment.html>

Previous message: [Ur] Set / Update values within a structure
Next message: [Ur] Research topic one semester Ur/Wev or dependent typer
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Ur mailing list