issues
search
johnynek
/
bosatsu
A python-ish pure and total functional programming language
Apache License 2.0
222
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update paradox-theme-generic, sbt-paradox to 0.10.6
#1114
scala-steward
closed
5 months ago
1
> ```
#1113
Samet1994
closed
5 months ago
2
Update compilerplugin, scalapb-runtime to 0.11.15
#1112
scala-steward
closed
5 months ago
1
Update sbt-protoc to 1.0.7
#1111
scala-steward
closed
5 months ago
0
Add set relation code from a private project.
#1110
johnynek
closed
5 months ago
1
Attempt to fix 1108
#1109
johnynek
closed
5 months ago
1
implement binding matches
#1108
johnynek
closed
5 months ago
0
Update cats-effect to 3.5.3
#1107
scala-steward
closed
5 months ago
1
fix totality check flake
#1106
johnynek
closed
4 months ago
3
Fix issue 1104
#1105
johnynek
closed
5 months ago
1
fix seq intersection flake
#1104
johnynek
closed
5 months ago
1
add a safe floating point type with internal optimizations for correctness
#1103
johnynek
opened
5 months ago
0
Add basic property testing
#1102
johnynek
closed
5 months ago
2
Error on unused imports in Bosatsu packages
#1101
johnynek
closed
5 months ago
1
Add the Ackermann example
#1100
johnynek
closed
6 months ago
1
Add to TypeConstraint examples
#1099
johnynek
closed
6 months ago
1
unused imports are not an error
#1098
johnynek
closed
5 months ago
0
Update sbt-jmh to 0.4.7
#1097
scala-steward
closed
6 months ago
1
Update sbt to 1.9.8
#1096
scala-steward
closed
6 months ago
1
Update sbt-scalajs, scalajs-compiler, ... to 1.15.0
#1095
scala-steward
closed
6 months ago
1
Use Array instead of LinkedList encoding for ProductValue
#1094
johnynek
closed
6 months ago
1
fix seqpattern intersection commutative issue 1091
#1093
johnynek
closed
6 months ago
1
Support base 2,8,16 literal Integers
#1092
johnynek
closed
6 months ago
1
seqpatterntest flake
#1091
johnynek
closed
6 months ago
0
Add Sub example of Liskov substitution
#1090
johnynek
closed
6 months ago
1
migrate to scala3
#1089
johnynek
closed
4 months ago
1
Fix intersection commutativity 1086
#1088
johnynek
closed
6 months ago
1
Encode Kinds to Longs in proto
#1087
johnynek
closed
6 months ago
1
Fix string pattern intersection commutativity issue
#1086
johnynek
closed
6 months ago
0
Improve KindFormula.Error reporting
#1085
johnynek
closed
6 months ago
1
Fix issue 1082
#1084
johnynek
closed
6 months ago
1
Incorrect variance inference with some recursive types.
#1083
johnynek
closed
6 months ago
1
Kind inference can crash the compiler
#1082
johnynek
closed
6 months ago
0
Remember the TyApply is always on a Rho
#1081
johnynek
closed
7 months ago
1
Check direct instantiation in inference
#1080
johnynek
closed
6 months ago
1
Explicitly build closure captures
#1079
johnynek
closed
7 months ago
1
define tuples up to 32
#1078
johnynek
closed
7 months ago
1
Some Type.normalization optimizations
#1077
johnynek
closed
7 months ago
1
Fix StrPat.isTotal
#1076
johnynek
closed
7 months ago
1
Add some more kind soundness tests
#1075
johnynek
closed
7 months ago
2
Some minor Infer code cleanups
#1074
johnynek
closed
7 months ago
1
Fix bug in kind checking of patterns
#1073
johnynek
closed
7 months ago
1
Update sbt-assembly to 2.1.5
#1072
scala-steward
closed
7 months ago
0
Update scalafmt-core to 3.7.17
#1071
scala-steward
closed
4 months ago
2
Update scalafmt-core to 3.7.16
#1070
scala-steward
closed
7 months ago
2
Update cats-parse to 1.0.0
#1069
scala-steward
closed
8 months ago
1
Add another subtype test
#1068
johnynek
closed
8 months ago
1
Refactor calls to skolemize in Infer
#1067
johnynek
closed
8 months ago
1
Existential types support
#1066
johnynek
closed
7 months ago
1
Update sbt-assembly to 2.1.4
#1065
scala-steward
closed
8 months ago
1
Previous
Next