http://spire-lang.org/blog/2014/08/04/inductive-recursive-descriptions/ 2014-08-04T19:52:32-07:00 0.8 http://spire-lang.org/blog/2014/01/15/modeling-elimination-of-described-types/ 2014-01-15T09:50:12-08:00 0.8 http://spire-lang.org/blog/2014/01/05/an-unremarkable-type-checker/ 2014-01-05T15:03:57-08:00 0.8 http://spire-lang.org/blog/archives/ 2014-08-14T13:44:12-07:00 weekly 0.7 http://spire-lang.org/ 2014-08-14T13:44:12-07:00 weekly 1.0