Add a Lamport type#461

dabrinka1 wants to merge 1 commit into

metaDAOproject:developmetaDAOproject/programs:developfrom

dabrinka1:coda/lamportsdabrinka1/programs:coda/lamportsCopy head branch name to clipboard