@@ -20,6 +20,7 @@ Bitcoin donations are gratefully accepted at 14ZhCym28WDuFhocP44tU1dBpCzjX1DvhF.
2020- Modules
2121- Rank N Types
2222- Do Notation
23+- Optional tail-call elimination
2324
2425## Try It!
2526
@@ -56,6 +57,9 @@ The following options are supported:
5657
5758 --runtime-type-checks
5859 Generate simple runtime type checks for function arguments with simple types.
60+
61+ --tco
62+ Perform tail-call elimination on the generated Javascript.
5963
6064## Motivation
6165