Dmytro Polunin

Thanks for the issue! I know this way with using type aliases is inefficient, but there are two tradeoffs: 1. Type-level computations, so rustc won't compile when you request for...

Good idea. If you wish to implemet this feature, see example: https://github.com/cucumber-rs/cucumber/blob/v0.13.0/.github/workflows/ci.yml#L203-L271

@aburkhalter512 which allowances I should provide to the github token?

@DeFiTON Maybe, there is some expectation that "Jettons" will have behaviour that will be different than "Tokens" have? @tolya-yanot I think it would be better if a section with motivation...

Yes, i thought about formalization and proofing that it make sense in future. Do you have an account in messenger like Telegram/Discord? I think it will be more convenient to...

Не смог найти Вас в телеграмме. Буду писать здесь (или же если вам нравится другой формат общения, напишите). У вас в [Readme.md](https://github.com/0xd34df00d/refinedt/blob/master/toy/README.md) разметка eBNF испортилась, поскольку Вы используете неправильную версию...

https://t.me/f0land >А это интересный взгляд! Как бы refinements как конструкции первого класса могли бы выглядеть и себя вести? Скорее всего, приближенно к замыканиям. refinement должен "захватить" внешние переменные от которых...

Is there progress in resolving this issue? Got the same error.

@emillon ``` root@comp:~# ping 8.8.8.8 PING 8.8.8.8 (8.8.8.8) 56(84) bytes of data. 64 bytes from 8.8.8.8: icmp_seq=1 ttl=119 time=24.4 ms 64 bytes from 8.8.8.8: icmp_seq=2 ttl=119 time=24.3 ms 64 bytes...

Hi, crate isn't intended to be used with mutable references, but you can use interior mutability types (`RefMut` or `Mutex`). Also, you can try to implement mutable references resolving like...