Logo
Explore Help
Sign In
Avery
/
STLCPlayground
1
1
Fork
You've already forked STLCPlayground
0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
13 Commits
2 Branches
0 Tags
180 KiB
letin
main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
Commit Graph

13 Commits (main)
 

Author SHA1 Message Date
Avery bea0783a17
Grammar updates
2 months ago
Avery 3fc99af58b
Codemaiding the codemaids code
2 months ago
Avery 9f69cfd65b
Small fixes and more builtins
2 months ago
Avery 0dc2f7be84
New reduction engine that does builtins and beta simulatniously
2 months ago
Avery b1b7d46358
Clippy
2 months ago
Avery 987102ac44
Tag aware unification type inference
2 months ago
Avery 766da2593e
Inference by unification
3 months ago
Avery 305e95846d
New parser and grammar
3 months ago
Avery 32f8f7c29a
Buildtins
3 months ago
Avery 6a46c6ca52
Type tags, fix deBrujin beta reduction, DeBrujinAst -> Ast, type inference on DeBrujinAst
3 months ago
Avery 134f803b88
Readme
3 months ago
Avery c8062f7843
Repl
3 months ago
Avery 36aeb10da9
Initial commit
3 months ago
Powered by Gitea Version: 1.18.3 Page: 42ms Template: 4ms
English
Bahasa Indonesia Deutsch English Español Français Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API