├── .gitignore ├── Effect └── Msg.idr ├── Makefile ├── README.md ├── System └── Protocol.idr ├── paper ├── Makefile ├── conf.ltx ├── content │ ├── conclusions.tex │ └── intro.tex ├── fpmacros.sty ├── idrislang.sty ├── library.ltx ├── literature.bib ├── llncs.cls └── protocols.tex ├── protocols.ipkg └── test ├── Stream.idr ├── TestIPC.idr ├── UtilServer.idr └── test.pl /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/.gitignore -------------------------------------------------------------------------------- /Effect/Msg.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/Effect/Msg.idr -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/README.md -------------------------------------------------------------------------------- /System/Protocol.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/System/Protocol.idr -------------------------------------------------------------------------------- /paper/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/paper/Makefile -------------------------------------------------------------------------------- /paper/conf.ltx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/paper/conf.ltx -------------------------------------------------------------------------------- /paper/content/conclusions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/paper/content/conclusions.tex -------------------------------------------------------------------------------- /paper/content/intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/paper/content/intro.tex -------------------------------------------------------------------------------- /paper/fpmacros.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/paper/fpmacros.sty -------------------------------------------------------------------------------- /paper/idrislang.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/paper/idrislang.sty -------------------------------------------------------------------------------- /paper/library.ltx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/paper/library.ltx -------------------------------------------------------------------------------- /paper/literature.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/paper/literature.bib -------------------------------------------------------------------------------- /paper/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/paper/llncs.cls -------------------------------------------------------------------------------- /paper/protocols.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/paper/protocols.tex -------------------------------------------------------------------------------- /protocols.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/protocols.ipkg -------------------------------------------------------------------------------- /test/Stream.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/test/Stream.idr -------------------------------------------------------------------------------- /test/TestIPC.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/test/TestIPC.idr -------------------------------------------------------------------------------- /test/UtilServer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/test/UtilServer.idr -------------------------------------------------------------------------------- /test/test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Protocols/HEAD/test/test.pl --------------------------------------------------------------------------------