- [๐] Learning Type Theory and Logic
- [โก] Skilled on Functional Programming
- [โค] Loved Lean4, Haskell and C#
qiu233 / csly Goto Github PK
View Code? Open in Web Editor NEWThis project forked from b3b00/csly
a C# embeddable lexer and parser generator (.Net core)
License: MIT License