home.social
Sign in Create account

Ian Douglas Scott

@[email protected]
View on fosstodon.org →
  1. Ian Douglas Scott @ids1024 ·

    fn main() {
    println!("{}", <S<S<S<S<Z>>>> as Nat>::Fact::INT);
    }

    #peano