04835b5339
Because pkgs.racket-lang doesn't seem to accept paths like .../repo.git#branch?tag So I'm trying to remove the ?tag
20 lines
355 B
Racket
20 lines
355 B
Racket
#lang typed/racket/base
|
|
|
|
(provide
|
|
(all-from-out trivial/define)
|
|
(all-from-out trivial/format)
|
|
(all-from-out trivial/function)
|
|
(all-from-out trivial/math)
|
|
(all-from-out trivial/regexp)
|
|
(all-from-out trivial/vector))
|
|
|
|
(require
|
|
;trivial/db
|
|
trivial/define
|
|
trivial/format
|
|
trivial/function
|
|
trivial/math
|
|
trivial/regexp
|
|
trivial/vector)
|
|
|