Yan Mendes

icon indicating a website link [email protected]

icon company Higher Order Company icon location Brasil icon location I like anime.

Results 1 comments of Yan Mendes

Cannot find definitions of List, Cons and Nil

closing this as the old kind2 has been archived at [Kind2-old](https://github.com/HigherOrderCO/Kind2-old)