Block or report user

Report or block xuanruiqi

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

Organizations

@TypecheckedTemplateHaskell

Pinned repositories

  1. affeldt-aist/succinct

    Coq 2

  2. ElephantTracksProject/et2-java

    Java trace generator frontend for Elephant Tracks 2

    C++

  3. senior-thesis

    My senior honors thesis (2018) for BSCS at Tufts, "Elephant Tracks II: Practical, Extensible Memory Tracing".

    TeX

  4. verified-data-structures

    A formalization of some data structures (mainly tree structures) in Coq/Ssreflect.

    Coq

  5. dtp

    Dependently-typed programs I write; mostly in Idris, sometimes in Agda/Coq, occasionally in Haskell

    Idris

244 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity
Jump to

January 2019

Created an issue in idris-lang/Idris-dev that received 3 comments

Potential bug in the totality checker

Problem: Totality checker seems to have a bug. Specifically, the Idris totality checker thinks this function is not total: blacken : Tree d c a -> …

3 comments

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