GitHub PushEvent at 2014-12-17 00:37:56
Repository: Symbolic-math-HaTeX
Actor: leftaroundabout
Payload: {"shas":[["fe3fb3ebf96cff3725c638fc8b893ec2cefd9dc9","a46120c8843dc5e86056e7468b168dee5bc704b7@smail.uni-koeln.de","Switched to 'fallback' versions of the HList types.\n\nThat library now focuses on the more modern DataKind-indexed GADTs, which we should in the future also adapt.","Justus Sagemüller",true],["1c4f360e55e7f96e6f1eb0e60d44865afbea0d45","a46120c8843dc5e86056e7468b168dee5bc704b7@smail.uni-koeln.de","Adapted to LaTeXC's restriction a~().","Justus Sagemüller",true],["6e13ffe7b6d6f3b5b2d3c13d5ab1a161fcd7ac11","a46120c8843dc5e86056e7468b168dee5bc704b7@smail.uni-koeln.de","Made Math...T in addition to Monad also Applicative,\n\nas it should be.","Justus Sagemüller",true],["717f839fe284373d26616bfb17d9bf56f70b4eb8","a46120c8843dc5e86056e7468b168dee5bc704b7@smail.uni-koeln.de","Brought modules up-to-date so the project compiles again.","Justus Sagemüller",true],["bf3906f4d6b3233fc6241b2e9c86ed80fa575b61","a46120c8843dc5e86056e7468b168dee5bc704b7@smail.uni-koeln.de","Apply the same equational-constraint trick as in HaTeX for 'IsString (m())' instance.\n\nThis allows strings to appear in any monadic way of writing 'MathematicalLaTeX', with correct 'a ~ ()' enforced.","Justus Sagemüller",true]],"size":5,"ref":"refs/heads/master","head":"bf3906f4d6b3233fc6241b2e9c86ed80fa575b61"}