Commit Graph

7 Commits

Author SHA1 Message Date
Georges Dupéron
534de53a29 Fixes #1: Install fails on Windows because lang.rkt is a symbol link. 2017-05-05 14:31:57 +02:00
Georges Dupéron
84e1f15e5b Typo, again 2017-05-05 03:44:55 +02:00
Georges Dupéron
56f58a1ddf Typo 2017-05-05 03:38:58 +02:00
Georges Dupéron
cbd0addb8e Small improvements to contract→type 2017-05-05 03:34:17 +02:00
Georges Dupéron
dcfb3ff987 Improved contract→type 2017-05-05 03:30:42 +02:00
Georges Dupéron
c89285f39b Added contract→type 2017-05-04 23:02:13 +02:00
Georges Dupéron
41f7dc0f50 Squashed commits. 2017-04-27 22:54:34 +02:00