summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
arithmupdate notesÁkos Kőrösi7 weeks
lexput defs in typeutilsÁkos Kőrösi8 weeks
masterinitial commitÁkos Kőrösi2 months
restrucadd notesÁkos Kőrösi7 weeks