りんす

初心者Haskellerの初心者Vimmer。圏論勉強中。