0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 17 hours ago. based on code collected about 17 hours ago.
Jul 23, 2024 — Jul 23, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
type-defaults sets More... almost 8 years ago
type-defaults lists More... almost 8 years ago
fix #1180 More... almost 8 years ago
fix #1180 More... almost 8 years ago
check for naming errors earlier so later steps don't fail. fixes #815 More... almost 8 years ago
type-defaults arrays More... almost 8 years ago
type-defaults equality More... almost 8 years ago
Moved global aliases to global.js More... almost 8 years ago
Bootstrap worked, moving t-bot types to global.js More... almost 8 years ago
New bootstrap More... almost 8 years ago
Fixes #1160 and fixes #1173 More... almost 8 years ago
Fixes #1160 and fixes #1173 More... almost 8 years ago
Added more _plus tests More... almost 8 years ago
Added more _plus tests More... almost 8 years ago
Rearranged handle-datatypes to allow use of refinement types in datatype methods More... almost 8 years ago
Rearranged handle-datatypes to allow use of refinement types in datatype methods More... almost 8 years ago
Fixed issue with polymorphic shared fields More... almost 8 years ago
Fixed issue with polymorphic shared fields More... almost 8 years ago
Removed overlap with globals.js More... almost 8 years ago
add some missing type/column tests, fixes #1145 More... almost 8 years ago
Added _plus tests and fixed a bug with adding variables More... almost 8 years ago
Added _plus tests and fixed a bug with adding variables More... almost 8 years ago
Removed accidental block More... almost 8 years ago
Removed accidental block More... almost 8 years ago
Fixes #1167 More... almost 8 years ago
Fixes #1167 More... almost 8 years ago
desugar table position of ordering More... almost 8 years ago
add fixed-arity versions for maybeMethodCall to avoid spread args for < 8 arguments More... almost 8 years ago
bigger method call iterations More... almost 8 years ago
remove bundled-node-deps.js sorry :( More... almost 8 years ago