2020-02-10 04:24:37 +00:00
|
|
|
#lang info
|
|
|
|
|
2021-05-03 18:59:14 +00:00
|
|
|
(define scribblings '(("scribblings/typed-syndicate.scrbl" ())))
|
|
|
|
|
2020-02-10 04:24:37 +00:00
|
|
|
(define compile-omit-paths
|
|
|
|
'("examples"
|
|
|
|
"tests"))
|
|
|
|
|
|
|
|
(define test-omit-paths
|
2021-05-10 19:30:46 +00:00
|
|
|
;; a number of the examples use SPIN for model checking which I need
|
|
|
|
;; to figure out how to get working on the package server
|
2023-02-10 21:55:59 +00:00
|
|
|
'("examples/"
|
|
|
|
"tests/spin/"))
|