search

JasonShin / fp-core.rs

A library for functional programming in Rust
MIT License
1.35k stars 66 forks source link

Definition of axiom #32

Open JasonShin opened 5 years ago

JasonShin commented 5 years ago

https://ncatlab.org/nlab/show/axiom