Tiago Cogumbreiro

Results 7 issues of Tiago Cogumbreiro

Hi, Is it possible to have some questions/answers that are manually graded at a later time by a person? Thanks for your time!

It is very difficult to search for registered packages, basically amounts to using Google.

The goal of this patch is to reduce the boiler-plate code necessary to include CPM in a project.

### What version of Racket are you using? 8.2 ### What program did you run? ```racket (struct point ([x : Number] [y : Number])) (: add (-> point Number) )...

Hi, everyone, I am a bit confused when trying to generate a dynamic library (shared object). I expected this to be done by creating a `.clib` file listing the object...

The architecture defaults to amd64 and the virtualizer defaults to kvm, hence downburst will not work out-of-the box with a 32bits machine.

## Expected Behavior I would like to migrate my project to Dune developer preview. ## Actual Behavior `dune build` is unable to compile the package `z3`. See point 4 below...

package management
package management build failures