Joomy Korkut

This was reported here: https://github.com/haskell-opengl/GLUT/issues/19 (sorry, I didn't see your comment there until now. I'm keeping the comment for reference)

> * Will CertiCoq support the use of Coq's primitive integers in a way that they compile to efficient C representation? That is within our plans. CertiCoq's first step is...

> If anyone from the maintainers is reading this, what's the intended status of this feature? Is it still work in progress, or is it some legacy that's no longer...

I guess you are referring to the error message you get when you are installing: ``` Error detected while processing /Users/joomy/.vim/vimrc: line 177: E185: Cannot find color scheme 'wombat256mod' Press...

I can't recreate the issue, it works fine on my machine. Can you check if you have the folder `~/.vim/bundle/wombat256.vim`?

So you have Vundle installed. Did you have a `/home/denis/.vimrc` file before installation, because you shouldn't. The content of your `home/denis/.vimrc` file should just be `runtime vimrc`. Then you can...

This problem doesn't occur anymore.

Has anyone been able to fix this? Here's the smallest case I've got this error on: ``` (declare-const i Int) (declare-const n Int) (assert (not (=> (< i n) (

1 and 2: Yes, great ideas! But the language I defined here doesn't have types yet. 3: When you create a definition statement, the second hole is a term. (not...