{"push_id":1107613086,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"ec31835f45e33164af9e9dc64f22501f0f175280","before":"d11c551d80db2b53a82a274dc4f4b5b9a58141e3","commits":[{"sha":"ec31835f45e33164af9e9dc64f22501f0f175280","author":{"email":"aa7f3a1ec1340ed905c15626a124407ee42a5640@usi.ch","name":"Nate Nystrom"},"message":"More cleanup of the typer.\nAdded explicit constructor defs. Cleaned up DataDef.\nAdd types to the environment.\nFormulas are now boolean again, rather than unit. Added LitBool to make\nit work, but should generate a reference to fretta.Boolean.True instead","distinct":true,"url":"https://api.github.com/repos/nystrom/fretta/commits/ec31835f45e33164af9e9dc64f22501f0f175280"}]}