-
Notifications
You must be signed in to change notification settings - Fork 0
fangyi-zhou/mpstmacros
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
----------:| -------------------------------------------------------------- mpstmacros:| Macros for multiparty session types Author:| Fangyi Zhou E-mail:| me@fangyi.io License:| The Unlicense See:| https://unlicense.org/ This work consists of the file mpstmacros.dtx and a Makefile. Running "make" generates the derived files README, mpstmacros.pdf and mpstmacros.sty. Short description: A package for multiparty session type macros
About
Macros for Multiparty Session Types
Resources
Stars
Watchers
Forks
Packages 0
No packages published