Gödel Tutorial
A rather brief "tutorial" from Walla Walla.
The Gödel Programming Language
Experimental Gödel with Generic (Parametrised) Modules.
The Gödel Programming Language
Declarative, general-purpose programming language in the set of logic languages. Strongly typed: type system based on many-sorted logic with parametric polymorphism.
[ 1 ]
|
