Contents of ports-3.0.0

LICENSE
README.md
package.json
examples/
- AccountPort.curry
- Counter.curry
- NameServer.curry
- PhiloExt.curry
- Philosophers.curry
- Semaphore.curry
- Talk.curry
- philo_start.sh
src/
- Network/
  - Ports.curry
  - Ports.pakcs
  - Ports.pakcs.pl