英文
Andrew Johnson
Andrew Johnson
@andrew-johnson-4
LSTS is a proof assistant and maybe a programming language.
描述
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.
已連結的帳號
andrew-johnson-4 在其他平臺擁有以下帳號:
儲存庫
LSTS 星號數 99 於 2 個月前更新
Large Scale Type Systems (programming language)
perplexity 星號數 13 於 9 個月前更新
A notational semantic for documenting neural networks through diagrams
記錄
andrew-johnson-4 於 4 年前加入。
andrew-johnson-4 沒有透露他們通過透過 Liberapay 收到了多少。