Home Explore Help
Sign In
getty
/
gidl
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki

No Description

Tree: 9130d1587a
Branches Tags
gidl
ZIP TAR.GZ
Pat Hickey 9130d1587a tower-backend: stub interface file 9 years ago
executables 30e1edc4d6 gidl: command line frontend ftw 9 years ago
src 9130d1587a tower-backend: stub interface file 9 years ago
support 98c7179538 beginning of tower backend 9 years ago
tests 98c7179538 beginning of tower backend 9 years ago
.gitignore 89d04f0623 gidl: initial commit 9 years ago
.travis.yml 98c7179538 beginning of tower backend 9 years ago
LICENSE d456b97842 gidl: oops, wrong license, its bsd3 now 9 years ago
Makefile 98c7179538 beginning of tower backend 9 years ago
README.md b1599bcadc wibble, maybe this will kick travis build off? 9 years ago
Setup.hs 89d04f0623 gidl: initial commit 9 years ago
gidl.cabal 9130d1587a tower-backend: stub interface file 9 years ago

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.