Anders

Modal Homotopy Type System

Project website

The package has no detailed description

unstable

channel

5.0.0

version

Yes

supported

No

broken

Free

license

25

platforms