Fixed inference with typed functions
authorpimjager <pim@pimjager.nl>
Thu, 26 May 2016 17:46:17 +0000 (19:46 +0200)
committerpimjager <pim@pimjager.nl>
Thu, 26 May 2016 17:46:17 +0000 (19:46 +0200)
commit390ba8971ff6f912c9e5cb01b3a663738de11704
treef9e37526a2b6003dd1ecece85dd8eb42e38bc70a
parentc1155521b79a9526b91050e4744601c64a825bf4
Fixed inference with typed functions
examples/higher.spl
sem.icl