caotic

3 ms·

1. 1.▲
   by caotic 7y ago

   It's Kei (romaji) meaning light. I don't remember where I get that name, but I think I was listening to some random music.
2. 2.▲
   by caotic 7y ago

   I think @Profquail explained everything so well. So I only have to add some pieces of information about Kei. Kei rewriting rules are used to transform (well-typed) data into other (well-typed) data basically (in that case to avoid non-confl
3. 3.▲
   Kei – A small and expressive dependent language(github.com)

   67 points by caotic 7y ago|15 comments
4. 4.▲
   A way of manipulate easily lambda terms(github.com)

   2 points by caotic 8y ago|0 comments
5. 5.▲
   Optional Monad in C(github.com)

   3 points by caotic 8y ago|1 comments