Commit 4f1909fe authored by Pierre Letouzey's avatar Pierre Letouzey
Browse files

typo

parent 392bf3c9
module Demo where
-- NB: Attention aux conventions syntaxiques d'agda:
-- A part ( ) et { } tout peut faire parti d'un nom d'identifieur
-- A part ( ) et { } tout peut faire partie d'un nom d'identifieur
-- Par exemple 1+2x représente un identifieur valide
-- qui diffère de 1 + 2 * x.
-- Bref, il faut des blancs presque partout !!
......
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