13 lines
202 B
Text
13 lines
202 B
Text
```
|
||
#include <stdio.h>
|
||
```
|
||
|
||
/* das ist ein test
|
||
type PosInt (Radix:ℤ) = <PosInt Radix BigEndian> ~ [ <Digit Radix> ] ;
|
||
*/
|
||
|
||
/* das ist ein test */
|
||
morph name : ladder~type~here =
|
||
```
|
||
// hello
|
||
```;
|