max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests
History
Leonardo de Moura d2497d554f feat(frontends/lean): add support for unicode char literals and escape sequences 
TODO: we are not checking if the unicode escape values provide by the
user correspond to valud unicode scalar values. We should check how
other languanges handle this case.
2017-10-23 13:46:57 -07:00
..
lean feat(frontends/lean): add support for unicode char literals and escape sequences 2017-10-23 13:46:57 -07:00
.gitignore