D27797: Agda: keywords updated to 2.6.0 and fix float points

[Christoph Cullmann]

cullmann accepted this revision.
cullmann added a comment.
This revision is now accepted and ready to land.


  Thanks for taking care of this!
  Let's get that in.

REPOSITORY
  R216 Syntax Highlighting

BRANCH
  update-agda

REVISION DETAIL
  https://phabricator.kde.org/D27797

To: nibags, #framework_syntax_highlighting, dhaumann, cullmann
Cc: kwrite-devel, kde-frameworks-devel, rrosch, LeGast00n, cblack, GB_2, domson, michaelh, ngraham, bruns, demsking, cullmann, sars, dhaumann
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kde-frameworks-devel/attachments/20200307/baf97cbc/attachment.html>