Aucune description

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

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.