# Agda language definition file
#
# Author: André Simon
#   Mail: andre.simon1@gmx.de
#   Date: 21.11.2002
# ------------------------------------------
# This file is a part of highlight, a free source code converter released under the GPL.
#
# The file is used to describe keywords and special symbols of programming languages.
# See README in the highlight directory for details.
#
# New definition files for future releases of highlight are always appreciated ;)
#
# ----------
# andre.simon1@gmx.de
# http:/www.andre-simon.de/

$KW_LIST(kwa)=abstract case concrete data do in interface let module mutual of open native 
package postulate private public sig struct type use set type

$KW_LIST(kwb)= integer int float double bool char
$STRINGDELIMITERS=" '
$SL_COMMENT=--
$ML_COMMENT={- -}
$IGNORECASE=true

$SYMBOLS= ( ) [ ] { } , ; : & | < > !  = / *  %  + -