18:03 <travis-ci> [travis-ci] Change view : https://github.com/manastech/crystal/compare/4e371a09b5a6...f069b96c01ed

18:03 <travis-ci> [travis-ci] manastech/crystal#1420 (master - f069b96 : Ary Borenszweig): The build passed.

18:03 <travis-ci> [travis-ci] Build details : http://travis-ci.org/manastech/crystal/builds/34044814

20:34 <ryanstout> hello, I remember reading about crystal a while ago and there was a link to a paper that the type system is based off of. I tried looking, but can’t find the paper, does anyone know what I’m referring to? Thanks