Lists (1)
Sort Name ascending (A-Z)
Stars
4
stars
written in HTML
Clear filter
A proposal for adding a useful pipe operator to JavaScript.
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.