Denis Buzdalov d6cb3ba747 [ new ] Add support for Idris 2 programming language

2025-01-27 23:47:20 +03:00

..

benchmarks

…

examples

…

mocked-pagers

…

scripts

…

snapshots

…

syntax-tests

[ new ] Add support for Idris 2 programming language

2025-01-27 23:47:20 +03:00

tester

Inline format! args wherever possible

2024-02-25 00:38:11 +01:00

utils

…

.gitattributes

…

assets.rs

…

github-actions.rs

…

integration_tests.rs

Fix: Don't output default theme info to piped stdout

2025-01-27 17:11:26 +01:00

no_duplicate_extensions.rs

Inline format! args wherever possible

2024-02-25 00:38:11 +01:00

snapshot_tests.rs

…

system_wide_config.rs

…

test_pretty_printer.rs

…