the next generation of the in-browser educational proof assistant

Version history of rescript.json

October 2026

Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed

September 2026

Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed

August 2026

Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed

July 2026

Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed

June 2026

Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed

May 2026

Liam O’Connor committed
Liam O’Connor committed
Liam O’Connor committed