Bellevue, Washington

John Leo

Advanced
@halfaya
halfaya.org/leo/

MusicTools. Agda

44

BayHac. TeX

11

icfp2021. ICFP 2021 Music Video

4

CProto. Haskell

3

Music. Agda

3

HoTTBook. Agda

2

icfp2020. ICFP 2020 Music Video

1
7
Apply