Keine Beschreibung

Pat Hickey 67a07e558d tower-backend: outputs parser monitor vor 10 Jahren
executables 30e1edc4d6 gidl: command line frontend ftw vor 10 Jahren
src 67a07e558d tower-backend: outputs parser monitor vor 10 Jahren
support 98c7179538 beginning of tower backend vor 10 Jahren
tests 98c7179538 beginning of tower backend vor 10 Jahren
.gitignore 89d04f0623 gidl: initial commit vor 10 Jahren
.travis.yml 98c7179538 beginning of tower backend vor 10 Jahren
LICENSE d456b97842 gidl: oops, wrong license, its bsd3 now vor 10 Jahren
Makefile 98c7179538 beginning of tower backend vor 10 Jahren
README.md b1599bcadc wibble, maybe this will kick travis build off? vor 10 Jahren
Setup.hs 89d04f0623 gidl: initial commit vor 10 Jahren
gidl.cabal 9130d1587a tower-backend: stub interface file vor 10 Jahren

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.