Нет описания

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 лет назад

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.