Ryo Hirayama

`'ref type` is something like a `Arc` and `'mut type` is something like a `Arc`. ## Syntax ```desk 'ref 1 ``` ```desk $ 'mut 1; // update the value 'mutate...

Add N-bit integer types like `i32` and `u8`.

1

## Data ```rust enum Type { /// N-bit signed integer Signed { bit: u8 }, //// N-bit unsigned integer Unsigned { bit: u8 }, ... } ``` ## Subtyping -...

## Syntax `?, // hahaha` `?; // yeah` ## Why? Sometimes it’s slightly or super annoying to write a comment for an expression. For example; ```desk // Here is a...

Currently, the parser only supports "«»" and "‹›".

We should change the signature of methods in `Ctx` to use `self` instead of `&self`.

The current parser emits poor errors on parse errors. We should wait for https://github.com/jsinger67/parol/issues/43.

Recursive Type

1

- [x] syntax - [ ] typeinfer

We should parse all floats as rational numbers for now.