diff options
author | William Carroll <wpcarro@gmail.com> | 2022-10-24T21·51-0400 |
---|---|---|
committer | wpcarro <wpcarro@gmail.com> | 2022-10-25T03·59+0000 |
commit | 1e9c3955bf2c17206c6dd536ebaf96a7e6f4f22d (patch) | |
tree | 3ad05bbd2f8c6fc7ccfe8e6e507fe386d9957a75 /users/wpcarro/scratch/deepmind | |
parent | a8876a4cdaaf0a1f051fefad436e08d983b402e2 (diff) |
refactor(wpcarro/compiler): Modularize debug fns r/5195
Define `debug.ml` and `prettify.ml` to clean-up some code. Change-Id: Iee2e1ed666f2ccb5e56cc50054ca85b8ba513f3b Reviewed-on: https://cl.tvl.fyi/c/depot/+/7078 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
Diffstat (limited to 'users/wpcarro/scratch/deepmind')
0 files changed, 0 insertions, 0 deletions