Inicio Explorar Ayuda
Iniciar sesión
getty
/
gidl
1
0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki

Sin descripción

Árbol: 8101aca925
Ramas Etiquetas
gidl
ZIP TAR.GZ
Pat Hickey 8101aca925 add readme and travis hace 10 años
executables 30e1edc4d6 gidl: command line frontend ftw hace 10 años
src 30e1edc4d6 gidl: command line frontend ftw hace 10 años
tests 30e1edc4d6 gidl: command line frontend ftw hace 10 años
.gitignore 89d04f0623 gidl: initial commit hace 10 años
.travis.yml 8101aca925 add readme and travis hace 10 años
Makefile 30e1edc4d6 gidl: command line frontend ftw hace 10 años
README.md 8101aca925 add readme and travis hace 10 años
Setup.hs 89d04f0623 gidl: initial commit hace 10 años
gidl.cabal 30e1edc4d6 gidl: command line frontend ftw hace 10 años

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.