equal
deleted
inserted
replaced
25 - store information about defined nominal datatypes, so that |
25 - store information about defined nominal datatypes, so that |
26 it can be used to define new types that depend on these |
26 it can be used to define new types that depend on these |
27 |
27 |
28 - make 3 versions of Abs |
28 - make 3 versions of Abs |
29 |
29 |
|
30 - make parser aware of bn functions that call other bn functions |
|
31 and reflect it in the datastructure passed to Fv/Alpha generation |
|
32 |
30 - make parser aware of recursive and of different versions of abs |
33 - make parser aware of recursive and of different versions of abs |