Lolita: A tagless, dependently typed, self-aware programming language

Re:Lolita: A tagless, dependently typed, self-aware programm... by GaggiX on Monday April 22, 2024 @03:16PM (#40117740)

What would the file extension be?

[ Parent | on HN ]

Re:Lolita: A tagless, dependently typed, self-aware programm... by chriswarbo on Monday April 22, 2024 @04:14PM (#40119469)

The examples use `.lo`

[ Parent | on HN ]

Re:Lolita: A tagless, dependently typed, self-aware programm... by BurdensomeCount on Monday April 22, 2024 @04:41PM (#40120021)

She was Lo, plain Lo, in the morning, standing four feet ten in one sock...

[ Parent | on HN ]