luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

WIP

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-04-21 15:26:42 -05:00
parent 2a0401e072
commit 15a48a0cef
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
prototyping/Properties/Subtyping.agda
View file

@ -1,5 +1,5 @@
{-# OPTIONS --rewriting #-}
{-# OPTIONS --allow-unsolved-metas #-}
module Properties.Subtyping where
open import Agda.Builtin.Equality using (_≡_; refl)