engelsk
Andrew Johnson
Andrew Johnson
@andrew-johnson-4
LSTS is a proof assistant and maybe a programming language.
Beskrivelse
Large Scale Type Systems is a library for performance-sensitive type system operations, specifically designed for cases where type logic may greatly outscale AST logic. The LSTS code works only with backreferences to AST code thereby permitting lazy generation of AST nodes.
Linkede kontoer
andrew-johnson-4 ejer følgende konti på andre platforme:
Arkiver
LSTS Stjerner 99 Opdateret for 2 måneder siden
Large Scale Type Systems (programming language)
perplexity Stjerner 13 Opdateret for 9 måneder siden
A notational semantic for documenting neural networks through diagrams
Historie
andrew-johnson-4 tilmeldte sig for 4 år siden.
andrew-johnson-4 viser ikke hvor meget de modtager gennem Liberapay.