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...