VictorTaelin
/ kolmolang.hvml
Last active
March 24, 2025 11:29
Kolmogorov Complexity minimizing language
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import Prelude.hvml | |
| // Types | |
| // ----- | |
| // Type ::= ⊥ | [Type] | |
| // - ⊥ = ⊥ = the Empty type | |
| // - [⊥] = ⊤ = the Unit type | |
| // - [[⊥]] = ℕ = the Nat type | |
| // - [[[⊥]]] = ℕ* = the List type |
OlderNewer