https://b.hatena.ne.jp/entry/s/github.com/imeckler/mote You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Re... https://b.hatena.ne.jp/theatrical/20150501#bookmark-248686682 "The programmer's assistant. Discharge your burdens with style. Mote brings the development style found in Agda to Haskell, currently only as a vim plugin." 2015-05-01T13:24:41Z haskell https://b.hatena.ne.jp/emonkak/20150501#bookmark-248686682 2015-04-30T15:09:37Z vim haskell https://b.hatena.ne.jp/xef/20150429#bookmark-248686682 2015-04-29T09:31:01Z Haskell Vim https://b.hatena.ne.jp/ruicc/20150428#bookmark-248686682 Holeを用いたagda-likeなプログラミングスタイル支援vim-plugin. 2015-04-28T01:52:06Z haskell vim https://b.hatena.ne.jp/yuuki5555/20150427#bookmark-248686682 2015-04-27T00:11:13Z https://b.hatena.ne.jp/tanakh/20150427#bookmark-248686682 2015-04-26T15:39:55Z https://b.hatena.ne.jp/nsyee/20150426#bookmark-248686682 2015-04-26T11:38:30Z haskell Vim