James Bradbury 85927f01fa
Merge pull request #1456 from google/jb/no-more-dot
Remove `dot` primitive in favor of reusing `dot_general`
2019-10-08 17:26:17 -07:00
..
2019-10-04 22:39:35 -03:00
2019-07-15 23:04:50 +01:00
2019-08-21 13:21:20 -07:00
2019-08-21 13:21:20 -07:00
2018-11-21 20:22:54 -08:00
2019-09-27 11:18:36 -07:00
2019-09-02 07:25:06 -07:00
2019-08-21 13:21:20 -07:00
2019-09-17 08:34:01 -07:00