joshua/nominal-lstar
1
Fork 0
mirror of https://github.com/Jaxan/nominal-lstar.git synced 2025-04-27 06:37:45 +02:00
Code Issues Releases Activity

NLambda paragraph

Browse source
This commit is contained in:
Michał Szynwelski 2016-10-09 21:30:33 +02:00
parent b7d48030f0
commit e1b00e192b
1 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
README.md
View file

@ -7,10 +7,9 @@ used for the paper). The remainder of this README assumes you are using that
archive. archive.
We have bundled the implementation of the learning algorithm and the We have bundled the implementation of the learning algorithm and the
implementation of the NLambda library in this artifact. Note that our implementation of the NLambda library in version 1.1 in this artifact.
version of NLambda is slightly different from the one on the [NLambda Comparing to version 1.0 some bugs were fixed and some new features have appeared.
website](http://www.mimuw.edu.pl/~szynwelski/nlambda/). Some bugs were More information about the library can be found on the [NLambda website](http://www.mimuw.edu.pl/~szynwelski/nlambda/).
fixed in our version and possibly some new features have appeared.
This artifact was tested on a Debian system. During development both Mac and This artifact was tested on a Debian system. During development both Mac and
Windows have been used, so it should work on these operating systems too. Note Windows have been used, so it should work on these operating systems too. Note
@ -22,10 +21,10 @@ implemented in Haskell and you will need a recent GHC (at least 7.10).
Should be just as easy as `stack build`, assuming one has installed Haskell Should be just as easy as `stack build`, assuming one has installed Haskell
stack. I noticed that the linker needed libtinfo. So you might need to install stack. I noticed that the linker needed libtinfo. So you might need to install
the libtinfo package, for example through apt. (I do not know which haskell the libtinfo package, for example through apt. (I do not know which Haskell
package depends on this.) Building may take a while. package depends on this.) Building may take a while.
Stack for haskell can be installed as described on Stack for Haskell can be installed as described on
[their website](http://haskellstack.org/). [their website](http://haskellstack.org/).
You will need to install the [Z3](https://github.com/Z3Prover/z3) theorem You will need to install the [Z3](https://github.com/Z3Prover/z3) theorem