Béarla
AvatarName

Andrew Johnson
@andrew-johnson-4

LSTS is a proof assistant and maybe a programming language.

Tá 0 pátrúin ag andrew-johnson-4.
Deonaigh   Cárta Íocaíochta Dochar Díreach

Cur síos

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.

Cuntais Nasctha

Is leis andrew-johnson-4 na cuntais seo a leanas ar ardáin eile:

Stair

Tháinig andrew-johnson-4 isteach 6 bliana ó shin.

Ní nochtann andrew-johnson-4 cé mhéad a fhaigheann siad trí Liberapay.