Block or Report
Block or report chrrasmussen
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
186 contributions in the last year
Activity overview
Contributed to
chrrasmussen/Idris2-Erlang,
chrrasmussen/CV,
idris-lang/Idris2
and 2 other
repositories