Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
11 lines (7 sloc) 233 Bytes
(use hahn setup-helper-mod)
(verify-extension-name "combinatorics")
(setup-shared-extension-module
'combinatorics
(extension-version "0.3.8")
compile-options: '(-X hahn))
(run-hahn -o combinatorics.wiki combinatorics-core.scm)