mirror of
https://github.com/polarity-lang/polarity.git
synced 2025-12-23 09:19:50 +00:00
62f8c46483
* Not working yet * Fix bugs * Update npm dependencies and language configuration * Fix some leftovers --------- Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>
2 lines
42 B
Text
2 lines
42 B
Text
/// The unit codata type.
|
|
codata Unit { }
|