Implementation of bidirectional typechecking in Shiika
- The paper: arXiv:1306.6032
- Rust implementation: https://github.com/JDemler/BidirectionalTypechecking/blob/1ca2a40121addb09df18c5b0191b23c47abc9456/src/original.rs
- Install Shiika (you may need git HEAD)
cargo run -- run bidi.sk
MIT