Skip to content

Agda: update keyword list to Agda 2.6.2

Andreas Abel requested to merge abel/syntax-highlighting:agda-2.6.2 into master

Agda 2.6.2 was released. This patch updates the list of Agda keywords.

Merge request reports