説明なし

Pat Hickey cda022a7dc ivory backend: fix depends on generated ivory modules		10 年前
executables	30e1edc4d6 gidl: command line frontend ftw	10 年前
src	cda022a7dc ivory backend: fix depends on generated ivory modules	10 年前
tests	cdab4a5b2b gidl: debug parser, fix example idl to be valid	10 年前
.gitignore	89d04f0623 gidl: initial commit	10 年前
.travis.yml	8101aca925 add readme and travis	10 年前
LICENSE	d456b97842 gidl: oops, wrong license, its bsd3 now	10 年前
Makefile	d3754985c6 ivory backend: wip	10 年前
README.md	b1599bcadc wibble, maybe this will kick travis build off?	10 年前
Setup.hs	89d04f0623 gidl: initial commit	10 年前
gidl.cabal	0f2db0a9e4 ivory backend: it aint pretty, but interface backend compiles	10 年前

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.