暫無描述

Pat Hickey b536c9549f ivory-backend: bugfix codgenTest path		10 年之前
executables	30e1edc4d6 gidl: command line frontend ftw	10 年之前
src	b536c9549f ivory-backend: bugfix codgenTest path	10 年之前
support	98c7179538 beginning of tower backend	10 年之前
tests	98c7179538 beginning of tower backend	10 年之前
.gitignore	89d04f0623 gidl: initial commit	10 年之前
.travis.yml	98c7179538 beginning of tower backend	10 年之前
LICENSE	d456b97842 gidl: oops, wrong license, its bsd3 now	10 年之前
Makefile	98c7179538 beginning of tower backend	10 年之前
README.md	b1599bcadc wibble, maybe this will kick travis build off?	10 年之前
Setup.hs	89d04f0623 gidl: initial commit	10 年之前
gidl.cabal	9130d1587a tower-backend: stub interface file	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.