ChanServ changed the topic of #racket to: The Racket Programming Language -- https://racket-lang.org/ -- https://racket.discourse.group/ -- http://pasterack.org -- logged at https://libera.irclog.whitequark.org/racket/ -- This is the right place to ask for help with DrRacket. Remember to wait around for an answer!
Tuplanolla has quit [Quit: Leaving.]
lucasta has quit [Quit: Leaving]
lucasta has joined #racket
lucasta has quit [Client Quit]
Origin has quit [Ping timeout: 272 seconds]
skapata has quit [Read error: Connection reset by peer]
spynxic has quit [Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net]
skapata has joined #racket
ormaaj has quit [Ping timeout: 276 seconds]
skapata has quit [Remote host closed the connection]
ormaaj has joined #racket
spdegabrielle115 has joined #racket
skapata has joined #racket
lucasta has joined #racket
spdegabrielle115 has quit [Remote host closed the connection]
<Putonlalla> I think I managed to solve the contract problem, although I'm not sure if this is the best way to do it.
<Putonlalla> `(define (series-> dmn rng) (define (sum-> dmn rng) (let arrow ((dmns '())) (first-or/c (dynamic->* #:mandatory-domain-contracts dmns #:range-contracts (list rng)) (recursive-contract (arrow (cons dmn dmns)))))) (define (limit-> dmn rng) (-> dmn ... rng)) (first-or/c (limit-> dmn rng) (sum-> dmn rng)))`
lucasta has quit [Quit: Leaving]
<Putonlalla> It still needs some termination checks.
lucasta has joined #racket
Tuplanolla has joined #racket
yonkeltron has quit [Remote host closed the connection]
yonkeltron has joined #racket
lucasta has quit [Quit: Leaving]
shawnw has joined #racket
Everything has joined #racket
Everything has quit [Ping timeout: 252 seconds]
Everything has joined #racket