Skip to content
View wrrnhttn's full-sized avatar
🎲
🎲
7 followers · 19 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark
Block or Report

Block or report wrrnhttn

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. agda-sdg agda-sdg Public

    Basic SIA and SDG in Agda

    Agda 1

  2. agda-cubical-freeobjects agda-cubical-freeobjects Public

    Agda

  3. mobius mobius Public

    Haskell