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>
4 lines
92 B
Text
4 lines
92 B
Text
/// The trivially uninhabitated data type.
|
|
data Void { }
|
|
|
|
def Void.ex_falso(a: Type): a { }
|