{"push_id":757419938,"size":14,"distinct_size":1,"ref":"refs/heads/topic/distributed-evaluation","head":"83ea3fff2f642df340ad44bcced1ff5ae1579a90","before":"933cc8213240e61b8590c0907a30f3f4f0eddc34","commits":[{"sha":"682e9b7e8a86a0795821f5e731704abce6c63300","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"WIP on rich function rendering support","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/682e9b7e8a86a0795821f5e731704abce6c63300"},{"sha":"de86dee89a8a19783ff065fb5a4b92c942098422","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"More progress on rich function layout","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/de86dee89a8a19783ff065fb5a4b92c942098422"},{"sha":"10f2e0b55c7fd153edd101ec3bfb4c1d9332e63e","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"Added Terminator view constructor, to allow for things like cons-list rendering","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/10f2e0b55c7fd153edd101ec3bfb4c1d9332e63e"},{"sha":"732f43482231306b6589b368e1a4c74c8cd62517","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"Added `View ()` instance, and now using this as the annotation for symbols in the node for now","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/732f43482231306b6589b368e1a4c74c8cd62517"},{"sha":"4fa9dcf64ca302f65fc7b19429df2584dbb4cf16","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"Type prettyerinter now does rich symbol layout","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/4fa9dcf64ca302f65fc7b19429df2584dbb4cf16"},{"sha":"6e1618d2dd5bb6dfd784473a1ac801be4e03fe9f","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"Rename `Rich` to `DFO`","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/6e1618d2dd5bb6dfd784473a1ac801be4e03fe9f"},{"sha":"beccbd1302be17154fc62a335bc5a9e672e46b24","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"bit of cleanup of Type prettyerinter","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/beccbd1302be17154fc62a335bc5a9e672e46b24"},{"sha":"83db86dbf4bab9f8ac7ad2a310b9aabc625244f1","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"Term paths may embed type paths, somewhat kludgy will revisit later","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/83db86dbf4bab9f8ac7ad2a310b9aabc625244f1"},{"sha":"63e9f729d074a7439b71db00d42620d43a6ef2cb","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"term prettyerinter","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/63e9f729d074a7439b71db00d42620d43a6ef2cb"},{"sha":"ed41ef10ecf827d7a83bfe57e5a4cbfd9fb22f47","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"let bindings format prettier","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/ed41ef10ecf827d7a83bfe57e5a4cbfd9fb22f47"},{"sha":"b47162865fdd0f78fc2f219608cbbcd6c59da9f1","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"cleanup, easy entry point for pretty printing","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/b47162865fdd0f78fc2f219608cbbcd6c59da9f1"},{"sha":"d23d6ad29bbafacbfb9bb299e4dce82506238433","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"showing term annotations","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/d23d6ad29bbafacbfb9bb299e4dce82506238433"},{"sha":"451e777ee8d5acaa892e3ea4602b98da671e4262","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"Merge pull request #27 from unisonweb/topic/views\n\nSupport for document-formatted operators (DFOs)","distinct":false,"url":"https://api.github.com/repos/unisonweb/platform/commits/451e777ee8d5acaa892e3ea4602b98da671e4262"},{"sha":"83ea3fff2f642df340ad44bcced1ff5ae1579a90","author":{"email":"d9ea4a9335ea3242c19936bc32253848be146703@gmail.com","name":"Paul Chiusano"},"message":"Merge branch 'master' into topic/distributed-evaluation","distinct":true,"url":"https://api.github.com/repos/unisonweb/platform/commits/83ea3fff2f642df340ad44bcced1ff5ae1579a90"}]}