nilsbecker

useless ambiguity warning may be incorrect

3

hi, i get the following warning: ``` File "kappa7.ka", line 104, characters 7-18: Warning: Useless molecular ambiguity, the rules is always considered as unary. ``` for the corresponding rule (somewhat...

vim editor support

3

it would be nice to have a vim filetype for .ka files with basic syntax highlighting.

tutorial on using the ocaml API

8

For using kasim as an ocaml library, we can browse the autogenerated API, which is also linked from the README. However, it's very difficult to get started with that just...

does iter need of_seq

4

to allow conversion from the stdlib generator?

make load button reload a changed json file

2

the we viewer requires me to re-choose a changed profile file with unchanged name. it would be more convenient if i could just click the load button again.

opam installation with system compiler vs. path settings in OcaIDE

4

i'm using opam with the "system" compiler, in my case this is Ocaml 4.00.1 installed in /usr/local via homebrew. The ocaml standard library is in /usr/local/lib/ocaml, whereas several opam installed...

the debugger cannot find the values defined in an included module in the same directory. ## main.ml let sq x = x \* x;; ## run.ml open Main open Printf...

parallel interactive session

6

is it possible to either attach lymp to a running ipython process or to spawn an ipython process from lymp such that i can interact with it in another shell?

ECHILD

10

hi, i was trying functory for parallelizing a program in which the workers may handle large-ish matrices. when the matrix size stays below a certain value, parallelization works. when they...