Refu Language

Refu is a hybrid language with a strong type system based on algebraic data types. It is designed as a general use programming language with focus on system programming.

It is statically typed, designed for programming to the interface and has a powerful module system among other features.

Language Documentation

In the following pages of the documentation we will see an introductory tutorial on Refu, presenting all the features of the language in order and how to use them effectively.

Furthermore if you want to dive into it is the official specification of the language check out the Language Reference.

Introduction to Refulang