diff options
author | Jason Gross <jgross@mit.edu> | 2019-01-30 19:13:27 -0500 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2019-02-02 18:22:15 -0500 |
commit | 496271f86e9dc6df1b23a189d6b8fd2a82db33aa (patch) | |
tree | 1b531bac09c49efb594642ea85d398f7893f8494 /folkwisdom.md | |
parent | cd1d339aa57c09abc716ef30a5a153ac5aadb563 (diff) |
Add autogenerated docstrings to synthesized code
We now stringify the correctness conditions to generate docstrings for
the synthesized code.
Closes #512
Time commitment: about 6 hours
Diffstat (limited to 'folkwisdom.md')
0 files changed, 0 insertions, 0 deletions