issues
search
cadCAD-org
/
cadcad-ri
The Reference Implementation
https://cadcad.org
BSD 2-Clause "Simplified" License
19
stars
10
forks
source link
[Research] Precise definition of DSL composition grammar
#40
Open
emanuellima1
opened
1 year ago
emanuellima1
commented
1 year ago
AC:
[ ] We know exactly the rules of composition for DSL
[ ] GDS pt 2 part
[ ] how GDS relates to typed lamda calculus
[ ] Could move foward on defining #49
AC: