GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → sweirich → trellys

sweirich / trellys

Licence: other
Automatically exported from code.google.com/p/trellys

Programming Languages

haskell
3896 projects
ocaml
1615 projects
Agda
84 projects
Yacc
648 projects
Makefile
30231 projects
Logos
282 projects
Various trellys languages.

The goal of Trellys is a functional programming language with full dependent types, general recursion, 
and a sound logical fragment.

This repository contains source code related to three different languages approximating this ideal:

Zombie. 
   If you use Emacs, you may also be interested in David Christiansen's zombie-trellys-mode.
   See zombie-trellys for an example directory layout with some documentation.
Sep3
Nax
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].