Tag comment as a difference with the Shelly spec
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
* Use agdaWithPackages on mkdocs derivation * Remove deduplication of package list for mkdocs dependencies * Rename fls-agda executable to agda
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>