Irene Yoon

Hello, ``` From Equations Require Import Equations. CoInductive foo : Type := FOO1. Equations ex (x: foo) : nat := ex FOO1 := 2. ``` ``` Error: Anomaly "Uncaught exception...

Edit files ~without trailing whiteline gives a parsing error~: In particular, it seems like edit files that do not have *any* trailing whitespace character gives a parsing error. Printed error...

Benchmarking ✔️

2

Several benchmarking examples needed for our pasta language: - [x] phong - [x] Framework - [x] Linguine - [x] GLSL - [x] Optimized - [x] reflection - [x] Framework -...

.cache/ Invalidation

4

Invalidate the `.cache/` generated by ParcelJS whenever the compiler is updated/rebuilt.

Improve error handling ⚠️

1

A few things that could be introduced for improved error handling: - [x] Line number printing in type checker 🔢 - [x] Improve line number/character printing in parser (currently has...