issues
search
anoma
/
juvix-stdlib
The Juvix standard library
https://anoma.github.io/juvix-stdlib/
10
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add the `assert` builtin
#124
lukaszcz
opened
3 weeks ago
0
Remove unicode from Isabelle/HOL names
#123
lukaszcz
closed
1 month ago
0
Update pragmas
#122
lukaszcz
closed
1 month ago
0
Fix `inline` and `specialize` annotations
#121
lukaszcz
closed
1 month ago
0
HTML build: remove --theme argument
#120
paulcadman
closed
2 months ago
0
add Monad trait
#119
janmasrovira
closed
1 month ago
0
Add support for builtin Byte
#118
paulcadman
closed
2 months ago
0
Add FromNatural instances for Int and Field
#117
paulcadman
closed
2 months ago
0
Export for and rfor from Foldable
#116
paulcadman
closed
2 months ago
0
Add `Applicative` trait
#115
janmasrovira
closed
1 month ago
1
Add `Functor` trait
#114
janmasrovira
closed
2 months ago
1
Replace `--only-errors`
#113
janmasrovira
closed
2 months ago
0
Replace preceeding spaces with tabs in the makefile
#112
janmasrovira
closed
2 months ago
0
Add `Foldable` trait
#111
janmasrovira
closed
2 months ago
1
Add Foldable trait (name to be determined)
#110
paulcadman
closed
2 months ago
1
Add specialize pragma for find
#109
lukaszcz
closed
2 months ago
1
Format using the new formatter version
#108
paulcadman
closed
2 months ago
0
Use new named application syntax in `Package.juvix`
#107
janmasrovira
closed
2 months ago
0
Add `Stdlib.Data.Result` and `find` in `Stdlib.Data.List`
#106
paulcadman
closed
2 months ago
3
Isabelle pragmas
#105
lukaszcz
closed
2 months ago
0
Rename `if` to `ite`
#104
janmasrovira
closed
3 months ago
0
Rename ∘ to << and add >>, |> and <| functions
#103
paulcadman
closed
3 months ago
0
Rename the Product type to Pair
#102
paulcadman
closed
3 months ago
0
Use `Pair` instead of the unicode `×`
#101
lukaszcz
closed
3 months ago
1
Add full Cairo pedersen hash
#100
CarloModicaPortfolio
opened
4 months ago
1
Pedersen hash to curve
#99
lukaszcz
closed
4 months ago
0
Use multiway if in the standard library
#98
lukaszcz
closed
4 months ago
0
Cairo Elliptic Curve operations
#97
lukaszcz
closed
4 months ago
0
Cairo poseidon hash
#96
lukaszcz
closed
4 months ago
4
Update juvix compile command for tests
#95
paulcadman
closed
5 months ago
0
Rename `Field` to `Felt`
#94
lukaszcz
closed
3 months ago
0
Field type
#93
lukaszcz
closed
7 months ago
0
Add Functor, Applicative and Monad traits
#92
janmasrovira
closed
3 months ago
1
Reuse types and definitions from the builtin package-base module
#91
paulcadman
closed
10 months ago
0
Update tests to use quickcheck v0.9.0
#90
paulcadman
closed
10 months ago
0
Migrate juvix.yaml to Package.juvix
#89
paulcadman
closed
11 months ago
0
Literal casts
#87
lukaszcz
closed
11 months ago
0
Standard library traits
#86
lukaszcz
closed
11 months ago
0
`Partial` trait
#85
lukaszcz
closed
1 year ago
1
Add `none` fixity
#84
lukaszcz
closed
1 year ago
0
Publish releases with changelog and version
#83
paulcadman
closed
10 months ago
1
Update list functions to use traits
#82
lukaszcz
closed
1 year ago
1
New Iterator/Fixity record syntax
#81
janmasrovira
closed
1 year ago
2
Update traits
#80
lukaszcz
closed
1 year ago
0
Reimplement standard library traits using the new trait framework
#79
lukaszcz
closed
1 year ago
0
`Partial` trait
#78
lukaszcz
closed
1 year ago
0
Remove old function syntax
#77
lukaszcz
closed
1 year ago
1
Update data types to use ADT and record syntax
#76
paulcadman
closed
1 year ago
0
Enable builtin list syntax
#75
lukaszcz
closed
1 year ago
0
New operator syntax
#74
lukaszcz
closed
1 year ago
0
Next