Nessuna descrizione

Pat Hickey f0038d0043 tower-backend: fix warnings in test suite		10 anni fa
executables	30e1edc4d6 gidl: command line frontend ftw	10 anni fa
src	6ea932e00f tower-backend: test suite now somewhat meaningful	10 anni fa
support	f0038d0043 tower-backend: fix warnings in test suite	10 anni fa
tests	98c7179538 beginning of tower backend	10 anni fa
.gitignore	89d04f0623 gidl: initial commit	10 anni fa
.travis.yml	98c7179538 beginning of tower backend	10 anni fa
LICENSE	d456b97842 gidl: oops, wrong license, its bsd3 now	10 anni fa
Makefile	98c7179538 beginning of tower backend	10 anni fa
README.md	b1599bcadc wibble, maybe this will kick travis build off?	10 anni fa
Setup.hs	89d04f0623 gidl: initial commit	10 anni fa
gidl.cabal	9130d1587a tower-backend: stub interface file	10 anni fa

Gidl

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

IDL format

See example in tests/example.idl.

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

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