Name	Name	Last commit message	Last commit date
Latest commit lukaszcz assert builtin Sep 10, 2024 6010ad3 · Sep 10, 2024 History 150 Commits
.devcontainer	.devcontainer	Remove some editor settings for the codespace (#34 )	Jan 18, 2023
.github/workflows	.github/workflows	Deploy html when pushing on main	Jun 6, 2023
Stdlib	Stdlib	assert builtin	Sep 10, 2024
test	test	add Monad trait (#119 )	Aug 29, 2024
.gitignore	.gitignore	ignore milestone files	Jan 17, 2023
Makefile	Makefile	Add `Applicative` trait (#115 )	Aug 21, 2024
Package.juvix	Package.juvix	Format using the new formatter version (#108 )	Jul 15, 2024
index.juvix	index.juvix	Cairo poseidon hash (#96 )	May 13, 2024
readme.md	readme.md	Update and rename readme.org to readme.md	Jan 17, 2023

Repository files navigation

The Juvix Standard Library