@Yutaro_Sakamoto

HaskellやIdrisの修行中

Following tags

No tags you are following

$ analyze @Yutaro_Sakamoto

posted articles:
  • Idris:100%
  • Monad:50%
  • Functor:50%
answered questions:
  • No data