Paul Joo

Fixes #79

1

Introduces scientific notation capabilities and test

The following code solely by itself compiles with no error: ``` declare vec2 vec2(float num); ``` But we would expect to have the code be: ``` declare type vec2 is...

Add Support for Existential Types for Managing Generic Declarations

1

We currently do not support type inferencing for declare statements. The following does not parse: `declare float dot(t x, t y);`. This is an issue in `test-u/generics/tagw_tdeclare_inference.lgl`.

Fix Support for Canonical Functions

1

Canonical functions are currently not being supported at all. Currently in `/test-u/basics.lgl` the following code results in the error: `Fatal error: exception Gatorl.CheckUtil.TypeException("Line: 7 -- Invalid canonical function canon b...