# Gidl

Gidl (for Galois Interface Description Language) is a simple IDL for
describing structured types.

## IDL format

See example in tests/example.idl.

## Backend

Gidl currently has a native Haskell backend. Ivory language backend coming soon.

## Tests

Use the `test` target in the Makefile to generate and test a Haskell library
for the IDL file.