Commit graph

2 commits

Author SHA1 Message Date
Adam Chlipala
ca3a490119 Revising before class 2020-04-08 10:48:14 -04:00
Adam Chlipala
9330f3714e DeepAndShallowEmbeddings: adding failure 2016-04-10 15:38:47 -04:00