Sign up to show and tell

If you'd like to do an informal presentation at the weekly F* meeting, please sign up here.

For the date, enter the earliest Monday that you'd like to present or leave it blank if you're not sure. I (Nik) will reach out to you to try to schedule it.

Name	Title	Date (Monday)
Nik	Fun with Setoids	May 29
Jay	EverParse for non-network parsing	?
Jay	Experiments with Meta-F*	?
Tahina	EverParse reading and writing with combinators	Once my intern arrives
Chris	Fun types for assembly language semantics	?