« Changelog History


lambdacube-compiler v0.3 Release Notes

Release Date: 2016-01-18 // over 8 years ago
    • compiler
      • complete rewrite from scratch
      • use De Bruijn indices instead of String names
      • pattern match compilation
      • compositional type inference is replaced by a zipper-based approach which plays better together with dependent types
    • libraries/OpenGL API
      • interpolation handling is decoupled from vertex shader descriptions
      • introduce Stream data type; use just two types of streams instead of 4
    • ✅ testenv
      • use Travis CI (continuous integration) with a docker image
      • timeout for tests