fluencelabs/aqua
1
0
Fork 0
mirror of https://github.com/fluencelabs/aqua.git synced 2024-12-04 22:50:18 +00:00
Code Issues Projects Releases Wiki Activity

Update semantics/src/main/scala/aqua/semantics/expr/ArrowTypeSem.scala

Browse Source 
Co-authored-by: InversionSpaces <InversionSpaces@vivaldi.net>
This commit is contained in:
Dima 2023-10-30 13:35:26 +03:00 committed by GitHub
parent 6a3dd53b6b
commit 88f1cc1eda
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
semantics/src/main/scala/aqua/semantics/expr/ArrowTypeSem.scala
View File

@ -5,6 +5,7 @@ import aqua.raw.{Raw, TypeRaw}
import aqua.semantics.Prog
import aqua.semantics.rules.definitions.DefinitionsAlgebra
import aqua.semantics.rules.types.TypesAlgebra
import cats.Monad
import cats.syntax.applicative.*
import cats.syntax.flatMap.*