GitHub - Warbo/writing: Mirror of http://chriswarbo.net/git/writing

Name		Name	Last commit message	Last commit date
Latest commit History 911 Commits
.issues		.issues
AI4FM		AI4FM
AwayDays-2016-11-24		AwayDays-2016-11-24
Balmoral2015		Balmoral2015
Bucketing		Bucketing
CICM-2017-report		CICM-2017-report
CICM2015		CICM2015
Chalmers2015-03-25		Chalmers2015-03-25
JianguoMeeting		JianguoMeeting
ML4HS1		ML4HS1
ML4HSTechReport		ML4HSTechReport
PhDMeetings		PhDMeetings
PhDSymposium2015		PhDSymposium2015
PhDSymposium2016		PhDSymposium2016
PhDSymposium2017		PhDSymposium2017
PhDSymposium2018		PhDSymposium2018
PhDThesis		PhDThesis
PowerPlay		PowerPlay
ReadingGroup/2015-05-22		ReadingGroup/2015-05-22
STP		STP
TEBenchmarkPaper		TEBenchmarkPaper
TheoryExploration		TheoryExploration
TransferNotes		TransferNotes
TransferReport		TransferReport
TransferSlides		TransferSlides
UnderstandabilityPaper		UnderstandabilityPaper
acmtranscl/v2-acmsmall		acmtranscl/v2-acmsmall
dependent-types-talk		dependent-types-talk
resources		resources
.gitignore		.gitignore
Bibtex.bib		Bibtex.bib
CIAO-2017-05-23		CIAO-2017-05-23
STP-2017-05-19		STP-2017-05-19
check.sh		check.sh
release.nix		release.nix
trigger-build.sh		trigger-build.sh