|
scripts
|
Add scripts to install deps
|
2015-07-28 22:15:14 +02:00 |
|
_tags
|
Make irc work.
|
2014-12-07 23:13:22 +01:00 |
|
evaluate.ml
|
Clean some code.
|
2014-12-21 17:00:07 +01:00 |
|
irc.ml
|
Remove IRC greetings.
|
2014-12-12 23:20:24 +01:00 |
|
Makefile
|
Add 'make check' target.
|
2014-12-21 16:12:52 +01:00 |
|
opam
|
Add opam file
|
2015-07-28 22:14:25 +02:00 |
|
shell.ml
|
Add Evaluate module.
|
2014-03-14 23:02:27 +01:00 |
|
simpleHttp.ml
|
Handle HTML escape characters.
|
2014-12-21 17:10:22 +01:00 |
|
test.ml
|
Handle HTML escape characters.
|
2014-12-21 17:10:22 +01:00 |
