04835b5339
Because pkgs.racket-lang doesn't seem to accept paths like .../repo.git#branch?tag So I'm trying to remove the ?tag
8 lines
141 B
Racket
8 lines
141 B
Racket
#lang typed/racket/base
|
|
|
|
(provide (all-from-out trivial/format))
|
|
|
|
(require (rename-in trivial/format
|
|
[format: format]
|
|
[printf: printf]))
|