anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-11-30 14:13:27 +03:00
Code Issues Projects Releases Wiki Activity

Monad and Applicative traits in juvix stdlib (#2979)

Browse Source 
This PR updates the stdlib submodule to juvix-stdlib main branch.

It contains Monad and Applicative traits.
This commit is contained in:
Paul Cadman 2024-08-30 14:07:29 +01:00 committed by GitHub
parent eb00fa48ba
commit 3d21ab4325
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
juvix-stdlib

@ -1 +1 @@
Subproject commit 17a82dd466010b51924677b16a3f09a6c4c86a80 Subproject commit 615a02c8107076ca9661c5234d41792be91a5104

2
tests/Anoma/Compilation/positive/test052.juvix
View File

@ -1,7 +1,7 @@
--- Simple lambda calculus --- Simple lambda calculus
module test052; module test052;
import Stdlib.Prelude open; import Stdlib.Prelude open hiding {>>=};
import Stdlib.Debug.Fail open; import Stdlib.Debug.Fail open;
LambdaTy : Type -> Type := Lambda'; LambdaTy : Type -> Type := Lambda';

2
tests/Compilation/positive/test052.juvix
View File

@ -1,7 +1,7 @@
--- Simple lambda calculus --- Simple lambda calculus
module test052; module test052;
import Stdlib.Prelude open; import Stdlib.Prelude open hiding {>>=};
LambdaTy : Type -> Type := Lambda'; LambdaTy : Type -> Type := Lambda';