Skip to content
View PersonForSure's full-sized avatar
🍂
Trying to prove my own existence in Agda
🍂
Trying to prove my own existence in Agda
20 followers · 161 following

Block or report PersonForSure

Report abuse

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

Report abuse

Pinned Loading

  1. petrichor petrichor Public

    A color scheme inspired by the colors of rainy days

    KakouneScript 13 1