search

ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective
10 stars 0 forks source link

Paper Compiling #34

Open heades opened 7 years ago

heades commented 7 years ago

One thing you will need to figure out is how to get the paper compiling on your machine.

michaelto20 commented 7 years ago

I'm download ProTeXt so we can work on compiling the paper during out meeting.

heades commented 7 years ago

Sounds good. You will also need GNU Make, and Ott.

On Dec 28, 2016, at 12:03 PM, Michael Townsend notifications@github.com wrote:

I'm download ProTeXt so we can work on compiling the paper during out meeting.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/heades/gradual-typing/issues/34#issuecomment-269506562, or mute the thread https://github.com/notifications/unsubscribe-auth/ABZ7mBXREcKarZi4bcZFTGE_32l3u4qpks5rMpZhgaJpZM4LWdmY.

michaelto20 commented 7 years ago

Ok. I'll get those too.

On Dec 28, 2016, at 12:20, Harley D. Eades III notifications@github.com wrote:

Sounds good. You will also need GNU Make, and Ott.

On Dec 28, 2016, at 12:03 PM, Michael Townsend notifications@github.com wrote:

I'm download ProTeXt so we can work on compiling the paper during out meeting.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/heades/gradual-typing/issues/34#issuecomment-269506562, or mute the thread https://github.com/notifications/unsubscribe-auth/ABZ7mBXREcKarZi4bcZFTGE_32l3u4qpks5rMpZhgaJpZM4LWdmY.

— You are receiving this because you were assigned. Reply to this email directly, view it on GitHub, or mute the thread.