暂无描述

Pat Hickey 8101aca925 add readme and travis 10 年之前
executables 30e1edc4d6 gidl: command line frontend ftw 10 年之前
src 30e1edc4d6 gidl: command line frontend ftw 10 年之前
tests 30e1edc4d6 gidl: command line frontend ftw 10 年之前
.gitignore 89d04f0623 gidl: initial commit 10 年之前
.travis.yml 8101aca925 add readme and travis 10 年之前
Makefile 30e1edc4d6 gidl: command line frontend ftw 10 年之前
README.md 8101aca925 add readme and travis 10 年之前
Setup.hs 89d04f0623 gidl: initial commit 10 年之前
gidl.cabal 30e1edc4d6 gidl: command line frontend ftw 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.