Commit Graph

2 Commits

Author SHA1 Message Date
Robbie Gleichman
d61c9bf6e9 Add top level type signitures. 2016-12-16 00:47:48 -08:00
Robbie Gleichman
24e3e23f28 Add fact.hs 2016-05-28 21:49:48 -07:00