|
|
il y a 10 ans | |
|---|---|---|
| executables | il y a 10 ans | |
| src | il y a 10 ans | |
| support | il y a 10 ans | |
| tests | il y a 10 ans | |
| .gitignore | il y a 10 ans | |
| .travis.yml | il y a 10 ans | |
| LICENSE | il y a 10 ans | |
| Makefile | il y a 10 ans | |
| README.md | il y a 10 ans | |
| Setup.hs | il y a 10 ans | |
| gidl.cabal | il y a 10 ans |
Gidl (for Galois Interface Description Language) is a simple IDL for describing structured types.
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.