issues
search
gfngfn
/
Sesterl
An ML-like statically-typed Erlang
153
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Upgrade `core`
#71
gfngfn
opened
1 year ago
0
Support `core.v0.15.1`
#70
gfngfn
opened
1 year ago
0
Add workflows to create a release PR and draft a release with artifacts
#69
michallepicki
closed
2 years ago
0
Fix associativity of arithmetic operators
#68
gfngfn
closed
2 years ago
1
Arithmetic operators associativity is wrong
#67
michallepicki
closed
2 years ago
3
Parse negative numbers
#66
michallepicki
opened
2 years ago
0
Show code snippet on compilation error
#65
michallepicki
opened
2 years ago
1
Add unary boolean negation operator
#64
michallepicki
opened
2 years ago
0
Release v0.2.1
#63
gfngfn
closed
2 years ago
4
Make comparison operators polymorphic; Add != operator
#62
michallepicki
closed
2 years ago
8
Support Erlang Guard expressions
#61
michallepicki
opened
2 years ago
0
Polymorphic equality and nonequality operators
#60
michallepicki
opened
2 years ago
0
Warn when non-recursive function is declared with `val rec`
#59
michallepicki
opened
2 years ago
1
Stop using dune cache when `macos-latest`
#58
y-yu
closed
2 years ago
3
Fix precedence of arithmetic operators
#57
gfngfn
closed
2 years ago
0
Operator precedence
#56
michallepicki
closed
2 years ago
2
[WIP] add a simple example for displaying the basic syntax and semantics
#55
gfngfn
opened
2 years ago
0
Polymorphic variants
#54
michallepicki
opened
3 years ago
1
Version selector in documentation
#53
michallepicki
closed
1 year ago
1
Introduce ocamlformat
#52
smorimoto
opened
3 years ago
0
Use = [] instead of List.length = 0
#51
smorimoto
closed
3 years ago
1
Add OCaml 4.13.x to GitHub Actions workflow
#50
smorimoto
closed
3 years ago
1
Release v0.2.0
#49
gfngfn
closed
3 years ago
0
Remove floating-point-number-related primitives
#48
gfngfn
closed
3 years ago
0
Fix how to solve dependency among source files and test files
#47
gfngfn
closed
3 years ago
0
Allow receive-expressions to have after-branches
#46
gfngfn
closed
3 years ago
0
Develop patterns for function parameters etc.
#45
gfngfn
closed
3 years ago
0
Add the atom '$sesterl' to every bare message sent by programs written in Sesterl
#44
gfngfn
closed
3 years ago
0
andalso, orelse
#43
michallepicki
opened
3 years ago
2
Introduce the attribute #[doc(...)] for doc comments
#42
gfngfn
closed
3 years ago
1
Upgrade sesterl_testing in example app
#41
michallepicki
closed
3 years ago
3
Remove the fallback mechanism for the old config file name
#40
gfngfn
closed
3 years ago
0
Migrate to the row polymorphism
#39
gfngfn
closed
3 years ago
0
Mutually recursive modules
#38
gfngfn
opened
3 years ago
2
Update sesterl_stdlib in echo_server example
#37
michallepicki
closed
3 years ago
2
Add a new optional field 'language' to the config file format
#36
gfngfn
closed
3 years ago
0
Fix unsoundness
#35
gfngfn
closed
3 years ago
0
An unsoundness bug found
#34
gfngfn
closed
3 years ago
0
Let hole ~s be for binaries, not for strings
#33
gfngfn
closed
3 years ago
1
Rename package.yaml to sesterl.yaml
#32
michallepicki
closed
3 years ago
2
Allow fully-annotated polymorphic recursions (and fix universal quantification)
#31
gfngfn
closed
3 years ago
0
Fix how to check type definitions
#30
gfngfn
closed
3 years ago
0
Run CI only `master` branch when pushing
#29
y-yu
opened
3 years ago
0
Add binary literals to patterns
#28
gfngfn
closed
3 years ago
0
Set configuration file name sesterl.yaml instead of package.yaml
#27
michallepicki
closed
3 years ago
1
Add missing universal qualifier to example
#26
michallepicki
closed
3 years ago
1
Fix generated erl module name in readme
#25
michallepicki
closed
3 years ago
1
fix typo in readme
#24
michallepicki
closed
3 years ago
1
Unbound type variable error for example from readme
#23
michallepicki
closed
3 years ago
2
Fix non-ascii string/binary literals; Add multi-line binary literals
#22
michallepicki
closed
3 years ago
11
Next