2009-10-10から1日間の記事一覧
昨晩に、ikegamiさんがつくばにいらしてたので、soutaroさんと一緒にご飯を食べに。その時Agdaの過去話を色々聞いて、やっぱり色々だなーとか思っていました。その場でdot-patternがちょっとみたいな事を言ったものの私が今実装してる言語では現時点でdot-pa…
昨晩に、ikegamiさんがつくばにいらしてたので、soutaroさんと一緒にご飯を食べに。その時Agdaの過去話を色々聞いて、やっぱり色々だなーとか思っていました。その場でdot-patternがちょっとみたいな事を言ったものの私が今実装してる言語では現時点でdot-pa…