© 2021. All rights reserved.
Site created with
Hakyll.
Modified theme
lanyon-hakyll
based on
Lanyon.
© 2021. All rights reserved.
Site created with
Hakyll.
Modified theme
lanyon-hakyll
based on
Lanyon.
哲學系畢業生，興趣是哲學、電影、程式語言、電腦科學、Haskell、Agda、Type Theory、Category Theory、去中心化、數位人權