Note: topics are listed in reverse chronological order.
Topics from 2017
On September 8 we discussed the paper "Towards Live Domain-Specific Languages: From Text Differencing to Adapting Models at Runtime” by van Rozen and van der Storm.
The Lean Theorem Prover
On August 16, we continued our discussion of live programming environments by looking at Light Table a project under development by Chris Granger and colleagues. We will look at some demos and try the alpha release.