two ideas added to the TODO list

parent 84a8c061
......@@ -4,6 +4,14 @@ syntaxe
- open
- infix symbols as constructors, e.g.
type list 'a = Nil | (::) 'a (list 'a)
- constants in patterns, e.g.
match ... with 0 :: r -> ... | ...
sémantique
----------
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment