Skip to content

sweirich/trellys

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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