GitHub - growler/gophercon-russia-2020-talk: My talk for Russian GopherCon 2020

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
media		media
.gitignore		.gitignore
00_Counter.cfg		00_Counter.cfg
00_Counter.tla		00_Counter.tla
01_PCDemo.cfg		01_PCDemo.cfg
01_PCDemo.tla		01_PCDemo.tla
02_PCDemo.cfg		02_PCDemo.cfg
02_PCDemo.tla		02_PCDemo.tla
03_GoChannel.cfg		03_GoChannel.cfg
03_GoChannel.tla		03_GoChannel.tla
03_gochannel_test.go		03_gochannel_test.go
04_GoChannel.cfg		04_GoChannel.cfg
04_GoChannel.tla		04_GoChannel.tla
05_ChannelBug.cfg		05_ChannelBug.cfg
05_ChannelBug.tla		05_ChannelBug.tla
05_channelbug_test.go		05_channelbug_test.go
06_UnboundQueue.cfg		06_UnboundQueue.cfg
06_UnboundQueue.tla		06_UnboundQueue.tla
06_unboundqueue_test.go		06_unboundqueue_test.go
07_UnboundQueue.cfg		07_UnboundQueue.cfg
07_UnboundQueue.tla		07_UnboundQueue.tla
07_unboundqueue_test.go		07_unboundqueue_test.go
Channels.tla		Channels.tla
Makefile		Makefile
cut.tex		cut.tex
talk.pdf		talk.pdf
talk.tex		talk.tex