jonaprieto
Jonathan Prieto
Ph.D. student at UiB. Reading about Type theory, Agda, Categories and other things related.
Bergen, Norway

Following (11)

annaei
tamttruong
Tam Truong
gylterud
Håkon Robbestad Gylterud
wen
Wen Kokke
luzmilacubides
dmwit
Daniel Wagner
byorgey
Brent Yorgey
green
Artyom Kazak
edwinb
Edwin Brady
paolalizarralde
Paola Lizarralde

Followers (7)

siben
SIben
tamttruong
Tam Truong
annaei
paolalizarralde
Paola Lizarralde
green
Artyom Kazak
luzmilacubides
gylterud
Håkon Robbestad Gylterud

Browse others (14)

jseros
John Acosta
pjpedersen
Paul Pedersen
11jenkins07
Joe T
josuasilitonga
Josua Putra Silitonga
sophstad
Sophie Stadler
andryou
Andrew
jawearmouth
Jacob Wearmouth
adityaghosh
Aditya Ghosh