Skip to content
Programming Cryptol PDF Update

Allow doctests to span multiple lines with a trailing \ like the REPL already supports #3

Sign in to view logs

Allow doctests to span multiple lines with a trailing \ like the REPL already supports

Allow doctests to span multiple lines with a trailing \ like the REPL already supports #3

update_needed

update_needed
succeeded Sep 27, 2024 in 6s