luau/prototyping/Properties.agda

{-# OPTIONS --rewriting #-}

module Properties where

import Properties.Contradiction
import Properties.Dec
import Properties.Equality
import Properties.Remember
import Properties.Step
import Properties.StrictMode
import Properties.TypeCheck
Prototyping strict mode (#399) * First cut of strict mode Co-authored-by: Lily Brown <lily@lily.fyi> 2022-03-03 06:02:51 +08:00			`{-# OPTIONS --rewriting #-}`

Implement a prototype interpreter (#353) * First cut interpreter 2022-02-10 07:14:29 +08:00			`module Properties where`

Add Properties.Equality to prototyping (#376) 2022-02-19 06:47:04 +08:00			`import Properties.Contradiction`
Implement a prototype interpreter (#353) * First cut interpreter 2022-02-10 07:14:29 +08:00			`import Properties.Dec`
Add Properties.Equality to prototyping (#376) 2022-02-19 06:47:04 +08:00			`import Properties.Equality`
Add a typeToString function to the prototype (#354) * Added Luau.Type.ToString 2022-02-12 04:38:35 +08:00			`import Properties.Remember`
Prototyping strict mode (#399) * First cut of strict mode Co-authored-by: Lily Brown <lily@lily.fyi> 2022-03-03 06:02:51 +08:00			`import Properties.Step`
			`import Properties.StrictMode`
			`import Properties.TypeCheck`