[racket-users] limitation of TR contract translation?

2021-04-29 Thread 'John Clements' via Racket Users
It seems that the conversion of TR types to contracts can result in contracts like (or/c (cons/c any/c any/c) (cons/c any/c any/c)) that apparently cause errors when run. I’m too tired to do a good job of providing a full example… no, actually, it’s pretty easy. Run this program: #lang racket

Re: [racket-users] Add Link to the racket Discord to the racket website?

2021-04-29 Thread Yury Bulka
>From within matrix one can join any freenode IRC channel by joining a room by the name #freenode_:matrix.org The racket IRC channel is accessible on matrix as #freenode_#racket:matrix.org Using the element web client I can access the room at this URL: https://app.element.io/#/room/#freenode_#ra

Re: [racket-users] Add Link to the racket Discord to the racket website?

2021-04-29 Thread Paulo Matos
Yury Bulka writes: > I would just clarify that in the case of Racket, the IRC channel and the > matrix room are the same room (they are joined together via a bridge). > Which matrix room are we talking about here? First time I hear about a matrix room. -- Paulo Matos -- You received this m

Re: [racket-users] Add Link to the racket Discord to the racket website?

2021-04-29 Thread Yury Bulka
I would just clarify that in the case of Racket, the IRC channel and the matrix room are the same room (they are joined together via a bridge). 23 квітня 2021 р. 03:22:33 GMT+03:00, John Clements написав: >This is the second time I’ve heard of matrix.org this week. Time to >check it out. > >Joh