Rivano

A tiny programming language to express first order logic formulæ. Juan Rivano Sandoval was a chilean Philosopher that lived the last part of his life in Lund, Sweeden. Juan Rivano is the author of the book "Lógica elemental".

Disclosure

The project is using Fake for building, and it has been tested only in a real operating system, consequently, there are no guarantees that the project runs on Windows. I am using mono and monodevelop.

Compile

to build the parser run on the console...

build.sh parser

the lexer can be built typing:

build.sh lexer

Notes

After building the parser, a file FolPar.fs is generated, in order to run the tests it is necessary to name the module: bash module FolPar like this:

module FolPar
    
// Implementation file for parser generated by fsyacc
#nowarn "64";; // turn off...

Tests

to run tests, Im using VS Code. so I press: ctr+shift p and write Expecto:Run