Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

19 lines (15 sloc) 0.397 kb
#lang racket
(module reader syntax/module-reader
#:language module-path:modular-acl2
#:read read
#:read-syntax read-syntax
(require
racket/require
(path-up "self/require.rkt")
(path-up "self/module-path.rkt")
(dracula-in lang/acl2-reader)))
(require
racket/require
(path-up "self/require.rkt")
(cce-in require-provide))
(require/provide (dracula-in modular/main))
Jump to Line
Something went wrong with that request. Please try again.