Commit Graph

12 Commits

Author SHA1 Message Date
Greg Pfeil
0031542faf
Add a space before code block info strings
This is for consistency with the `cmark` style. Now the blocks we still
pretty-print ourselves will match the bulk of them that `cmark`
produces.
2024-07-10 13:56:07 -06:00
Chris Penner
fcc251de2e Convert create-author.md to projects 2024-06-25 17:15:00 -07:00
Chris Penner
5520a5b881 Update transcripts 2024-01-12 10:19:02 -08:00
Chris Penner
f2244f612e Fix create author transcript 2024-01-08 13:51:13 -08:00
Chris Penner
e50f57f542 Merge remote-tracking branch 'origin/trunk' into cp/remove-global-names-again 2024-01-08 13:42:00 -08:00
Chris Penner
9416755973 Fix more transcripts 2024-01-08 11:56:31 -08:00
Mitchell Rosen
b7d43cf40f remove a bunch of metadata-related code 2024-01-03 20:44:55 -05:00
Paul Chiusano
b963789d04 transcript refresh 2022-07-01 00:08:09 -04:00
Paul Chiusano
eee6f0ff0a uncontroversial transcript diffs 2021-08-02 11:55:27 -04:00
Arya Irani
ca76d3686b delay serializing IOSource definitions to codebase until builtins.merge
and actually not until `builtins.mergeio`.

I would have liked to delay typechecking in IOSource.hs altogether, but
it being forced somewhere that was not immediately obvious to me.

This shouldn't impact anyone who already has `.base` or some other copy
of the io primitives, and the upshot is saving some time on transcripts.

`builtins.merge` will give you everything that's in `Unison.Builtin` and
`Unison.Builtin.Decls`, `builtins.mergeio` will give you those plus the
stuff in `Unison.Runtime.IOSource`.
2020-04-08 19:34:43 -04:00
Arya Irani
5bfe950850 hide some transcript output 2020-04-03 20:57:10 -04:00
Arya Irani
b73b2c8fa2 implemented create.author command
closes #1392
2020-04-03 20:49:07 -04:00