Block or report user


@oftn-oswg @arke-industries @COSI-Lab

Popular repositories

  1. this-week-in-rust

    Data for

    HTML 136 110

  2. lets-build-a-compiler

    Rust 91 5

  3. hprof

    A real-time hierarchical profiler

    Rust 53 9

  4. cargo-lite

    cargo-lite, a dirt simple package manager for Rust

    Python 39 5

  5. rest_easy

    Rust 36 3

  6. cmoss

    My hobby OS project

    C 15

118 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

Created an issue in leanprover/lean that received 2 comments

Hovers of the word following ^. doesn't print the type of the function

For example, in this snippet: meta def foo := let m := nat nat in m^.insert 0 Hovering over insert in vscode gives no information, but h…

Seeing something unexpected? Take a look at the GitHub profile guide.