Yue Bulu comments

Repositories
Issues
Comments

Results 64 comments of


                                            Yue Bulu

Lean highlight does not support `--` line comment

```lean structure Point (α : Type u) where mk :: (x : α) (y : α) deriving Repr /- test -/ #check Point -- a Type #check @Point.rec -- the...

scribble reader broken in string like `\foo|--{{}--|`

IMO it's a bug because when user add punctuation characters to change the delimiters, they're expecting to type unbalanced bracket/brace freely inside the body.

change cn version url

http://cn.patch.battle.net:1119/hsb/versions now available again :thinking:

Cross-compiling and #. (read time eval)

I feel more strongly that your problem of `lambda-list-keywords` (at https://github.com/kmx-io/alexandria/blob/master/alexandria-1/macros.lisp#L228) is a bug of Alexandria. `LAMBDA-LIST-KEYWORDS` is [implementation-defined](https://www.lispworks.com/documentation/HyperSpec/Body/v_lambda.htm#lambda-list-keywords), and Alexandria unnecessarily use `#.` here.