https://github.com/serras/dddeu21
"Being Formal Yet Lightweight", presented at DDD Europe 2021
https://github.com/serras/dddeu21
Last synced: 6 months ago
JSON representation
"Being Formal Yet Lightweight", presented at DDD Europe 2021
- Host: GitHub
- URL: https://github.com/serras/dddeu21
- Owner: serras
- Created: 2021-02-03T21:03:27.000Z (over 5 years ago)
- Default Branch: main
- Last Pushed: 2021-02-04T06:52:10.000Z (over 5 years ago)
- Last Synced: 2025-01-31T07:41:40.946Z (over 1 year ago)
- Language: HTML
- Size: 93.8 KB
- Stars: 4
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Being Formal Yet Lightweight
> A workshop proudly presented at [DDD Europe 2021](https://labs.dddeurope.com/2021/program/)
## Preparation
1. Download the latest Jar from Electrum's [release page](https://github.com/haslab/Electrum2/releases) (2.1.3 at the moment of writing).
2. Ensure that you can execute it by either double clicking on the downloaded file or running `java -jar yourelectrum.jar` from a terminal.
## [Slides](http://serras.github.io/dddeu21/slides)
## [Examples](http://serras.github.io/dddeu21/examples)