simfony 0.1.0

Rust-like language that compiles to Simplicity bytecode.
Documentation
1
2
3
4
5
6
7
8
fn main() {
    let ab: u16 = <(u8, u8)>::into((0x10, 0x01));
    let c: u16 = 0x1001;
    assert!(jet::eq_16(ab, c));
    let ab: u8 = <(u4, u4)>::into((0b1011, 0b1101));
    let c: u8 = 0b10111101;
    assert!(jet::eq_8(ab, c));
}