Some examples of FNC-2 system

Didier PARIGOT

A simple example of circular program

Factorial function

An interpreter of simple language

The Simproc language

The Towers of Hanoi