kentahama Goto Github PK
Name: Kenta Hamanaka
Type: User
Company: Fixpoint, Inc. (fixpoint.co.jp) / NII (www.nii.ac.jp)
Bio: Working as a frontend/backend engineer at Fixpoint, Inc. Researching on logic in computer science. A Haskell/Agda lover.
Location: Tokyo, Japan