Larry Darryl Lee Jr.

Is there documentation demonstrating how to use Mathcomp to perform computations?

1

How can you do the following? ``` Definition f : {ffun 'I_2 -> nat} := finfun (fun x => 2). Definition x : 'I_2 := Ordinal (isT: 1 < 2)....

Vim Returns "E764: Option 'omnifunc' is not set" When I Enter <ctrl-x> <ctrl-o>

2

Vim returns the following error message when I open an OCaml file (a file that ends in *.ml), type a string such as "Int." and press while in insert mode:...

Please Allow Users to Change the Background Color to White Using the Plot or Better QuickPlot Module Functions

2

The default color scheme (black background with red curves) is visually unappealing. Every other plotting library seems to default to a sensible white background with black curves. Please allow developers...

Opam Package Fails to Build

1

I ran `opam install eigen` on a laptop running Ubuntu. Opam failed with the following error message: ``` Gathering sources > [eigen.0.3.0] found in cache [owl.0.8.0] found in cache Processing...

[Enhancement]: INI Files

1

### What changes would you like? Is there a way to customize the game using Rules.ini files like in the original with the Snap release? It seems that, we lose...

Guile Ocaml prints the following spurious warning message whenever I define a function and the garbage collector runs. ``` WARN: a ctypes function pointer was not explicitly released. Releasing a...