Andrei Burdușa

agda-mode supresses implicit markdown support from vscode

2

When the agda-mode extension is enabled, syntax highlighting and the "Open Preview" option (Ctrl+Shift+V) stop working for `.lagda.md` files.

Add Idris 2

1

- Name: Idris 2 (It is different from Idris, which is no longer maintained) - Website: - https://github.com/idris-lang/Idris2 - https://www.idris-lang.org/pages/documentation.html - Language Version: 0.5.1 - How to install: This is...

Different exceptions, same description

1

I can't figure out what `GAS_ALLOWANCE_EXCEEDED` means. I believe [its description](https://github.com/ethereum/execution-spec-tests/blob/b19b4ca1cc45ca2ec2a16691c22daf20b5f95f4e/src/ethereum_test_exceptions/exceptions.py#L343) is wrong, since it's the same as for [TYPE_3_TX_MAX_BLOB_GAS_ALLOWANCE_EXCEEDED](https://github.com/ethereum/execution-spec-tests/blob/b19b4ca1cc45ca2ec2a16691c22daf20b5f95f4e/src/ethereum_test_exceptions/exceptions.py#L339).