$ analyze @karrym

posted articles:
  • Haskell:42%
  • 数学:42%
  • 圏論:42%
  • Agda:33%
  • 余帰納法:17%
answered questions:
  • No data