Andreas Stenbæk Larsen
Andreas Stenbæk Larsen
At the moment `regex` is checked with the same function as strings. This results in the compiler rejecting regular expressions that are valid in the Java implementation, the system is...
I have manually gone through the `java.net` library in openjdk 21 and added base effects to associated classes and methods. The majority of addition are whole classes being associated with...
Resolves #52 **Tasks** - [x] Add rudementary encoding of ADTs as ~records~ *tuples*. - [ ] Add more tests. - [ ] Improve on errors. - [ ] Rudementary type...
# Syntactic variants Troupe does not currently have a convenient way to define data types such as `option` in SML. _Syntactic variants_ solve this by providing syntactic sugar for defining...