DanilaFe/formal-interview
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Rename language file

Browse Source
This commit is contained in:
Danila Fedorin 2024-09-22 21:54:52 -07:00
parent 1f7dd876b5
commit d763d7a639
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Lang.agda → Language/Flat.agda
View File

@ -1,5 +1,5 @@
{-# OPTIONS --guardedness #-} {-# OPTIONS --guardedness #-}
module Lang where module Language.Flat where
open import Data.Integer using (ℤ; _+_; +_) open import Data.Integer using (ℤ; _+_; +_)
open import Data.Nat using (ℕ; suc; _<_) open import Data.Nat using (ℕ; suc; _<_)