James Shubin 24054f905f lib, lang, docs: Add --only-unify option ...

This adds a new run flag for the lang frontend to exit immediately
following type unification. This makes it easier to use this as a step
in CI, and also to type the execution for performance comparison
reasons.

2024-01-02 13:06:19 -05:00

..

.gitignore

documentation: Implement sphinx documentation

2017-02-16 07:08:44 +01:00

conf.py

legal: Happy 2023 everyone...

2023-03-05 18:31:52 -05:00

development.md

misc: Move to golang 1.20

2023-12-03 21:40:48 -05:00

documentation.md

lib, docs: Small cleanups

2024-01-02 13:04:49 -05:00

faq.md

lib, lang, docs: Add --only-unify option

2024-01-02 13:06:19 -05:00

function-guide.md

test: Fix small test warnings

2023-12-12 00:01:29 -05:00

index.rst

documentation: Implement sphinx documentation

2017-02-16 07:08:44 +01:00

language-guide.md

docs: Misc fixes

2023-09-25 18:53:54 -04:00

Makefile

docs: Add missing newline and remove extra one

2017-02-16 01:13:42 -05:00

on-the-web.md

docs: readme: Add new talk and clarify README

2023-04-07 11:51:43 -04:00

prometheus.md

test, docs: Restrict long lines in markdown linter

2018-02-22 16:19:23 -05:00

puppet-guide.md

test: Fix small test warnings

2023-12-12 00:01:29 -05:00

quick-start-guide.md

misc: Move to golang 1.20

2023-12-03 21:40:48 -05:00

resource-guide.md

engine: Add a ctx to the CheckApply API

2023-09-02 01:34:42 -04:00

resources.md

engine: resources: Add a tftp server and tftp file resource

2019-12-17 03:41:45 -05:00

style-guide.md

docs: Update style guide with more review items

2019-11-01 22:01:38 -04:00