Re:Leslie Lamport: Video course on TLA+
by cerebraltangent on Monday March 20, 2017 @10:07PM
(#13919272)
Kindly add transcripts to this for the benefit of the hearing impaired people ?
[ Parent
| on HN ]