The letter

One letter a week, starting soon.

The week's signal, what shipped, what is worth running tonight, and the editor's note. No tracking, no ads, nothing else.

We keep your address, your language and the date you joined, nothing else. Every letter has a one-click unsubscribe link that deletes the record.

← Accept All   Archive
LobstersGitHub

Programming Language Fundamentals in Agda

10.19

Comments

mathplt
Read at Lobsters ↗

More from Lobsters on Accept All

More from Lobsters on Accept All.