28c907d9de
This is the most intuitive thing I could come up with: since the problem is mainly due to the order in which we try declaring the aliases, then it suffices to simply try as much as we can, and retry on failure until there's no more failure. Note that it's important to detect cycles if we do such thing (which we can by noticing that a given iteration didn't make any progress). It works pretty well in the end and even allow us to define a new kind of type error should there be a cyclic definition.
Cardano smart contract language and toolchain
QuickStart
Prerequisites
For now you'll need rust installed, see rustup.
Getting started
In case you have fresh installation of rustup you might need to do:
rustup install stable
$ cargo install --git https://github.com/aiken-lang/aiken.git
$ aiken --help
How to use
For more information please see the user manual.
Roadmap
Aiken defines its roadmap using Github Milestones. The roadmap isn't set in stone, but gives a high-level overview of where the project is headed for.
Contributing
Want to contribute? See CONTRIBUTING.md to know how.
Note
The name comes from Howard Aiken, an American physicist and a pioneer in computing.