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

No Description

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