Commit graph

5 commits

Author SHA1 Message Date
f712734648 Fmt. 2021-08-29 22:35:10 -06:00
023cfd7ac0 Make this xfail so it passes 2021-08-03 22:34:56 -06:00
03b37675b5 Fmt. 2021-05-31 12:28:46 -06:00
bbae5ef63f And fmt 2021-05-15 11:34:32 -06:00
091e518a7e Import datalog 2021-05-14 23:39:18 -06:00