Skip to main content Requirements Breakdown Structure
Native field calculus core in Rust
- Implement field calculus syntax in Rust:
- Rep
- Nbr
- Foldhood
- Branch
- Implement the AST of the aggregate program:
- Slot
- Path
- Implement Context
- Implement Export
- Implement the Round VM
Integration layer between the native core and Scala
- Implement a Scala wrapper for the basic constructs defined in the native library
ScaFi with Scala 3
- Implement a Scafi-core version in Scala 3
- Implement a library that allows the use of reified fields