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