Issues

• Predicates are too long!

  enhancement
  nachivpn/mt#24 · Filter by author nachivpn opened on May 9, 2018
  1

• Bug in clause unification!

  bugcore
  nachivpn/mt#23 · Filter by author nachivpn opened on Apr 30, 2018

• Support Overloaded constructors

  corefeature
  nachivpn/mt#22 · Filter by author nachivpn opened on Mar 21, 2018

• Bring variable into scope if bound on all branches

  bugfeature
  nachivpn/mt#21 · Filter by author nachivpn opened on Mar 20, 2018
  1

• Support numeric types

  corefeature
  nachivpn/mt#17 · Filter by author nachivpn opened on Feb 27, 2018
  1

• Support branching expressions like if,case etc

  feature
  nachivpn/mt#14 · Filter by author nachivpn opened on Feb 27, 2018
  1

• Make prettify pure

  code-enhancement
  nachivpn/mt#9 · Filter by author nachivpn opened on Feb 12, 2018

• Prettier errors with bindings in scope and solved corresponding types

  coreenhancement
  nachivpn/mt#5 · Filter by author nachivpn opened on Feb 12, 2018