Block or Report
Block or report luckypoem
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Ingo Blechschmidt
iblech
Mathematician working in applied topos theory. Also interested in functional programming.
University of Padova Augsburg, Germany