Convert trace, splice to protocols [in progress]#40

sritchie wants to merge 1 commit intomainprobcomp/Gen.clj:mainfrom

sritchie/extract_trace_spliceprobcomp/Gen.clj:sritchie/extract_trace_spliceCopy head branch name to clipboard