- impl/ for Haskell implementation of SEDEL
- haskell/ for Haskell implementation of the case study
- examples/ for the source code of case study, as well as some SEDEL examples
- README.pdf for building instructions
- appendix.pdf for the appendix of the companion paper
This repository was archived by the owner on Feb 3, 2022. It is now read-only.
Repository navigation
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|