Aucune description

Pat Hickey 8101aca925 add readme and travis il y a 10 ans
executables 30e1edc4d6 gidl: command line frontend ftw il y a 10 ans
src 30e1edc4d6 gidl: command line frontend ftw il y a 10 ans
tests 30e1edc4d6 gidl: command line frontend ftw il y a 10 ans
.gitignore 89d04f0623 gidl: initial commit il y a 10 ans
.travis.yml 8101aca925 add readme and travis il y a 10 ans
Makefile 30e1edc4d6 gidl: command line frontend ftw il y a 10 ans
README.md 8101aca925 add readme and travis il y a 10 ans
Setup.hs 89d04f0623 gidl: initial commit il y a 10 ans
gidl.cabal 30e1edc4d6 gidl: command line frontend ftw il y a 10 ans

README.md

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.