Commit graph

2 commits

Author SHA1 Message Date
Adam Chlipala
ca3a490119 Revising before class 2020-04-08 10:48:14 -04:00
Adam Chlipala
290fec1e5b DeepAndShallowEmbeddings: Deep 2016-04-10 15:10:56 -04:00