polarity/std/codata/unit.pol
David Binder 62f8c46483
Use rust comment syntax (#494)
* Not working yet

* Fix bugs

* Update npm dependencies and language configuration

* Fix some leftovers

---------

Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>
2025-03-12 10:49:21 +01:00

2 lines
42 B
Text

/// The unit codata type.
codata Unit { }