index
:
tomo
bigints
constructive-reals
decimals
dev
doctests-to-debuglog
formatter
internal-texts
main
optional-list-indexing
optionals
paths
simplified-quotes
static-dependencies
str-paths
table-colons
text2
unicode-identifiers
wordier-types
The Tomo programming language
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
typecheck.h
Age
Commit message (
Expand
)
Author
2025-03-06
Support 'when' for literal values with equality checking
Bruce Hill
2025-03-05
Overhaul of constructors, making it more consistent and correct. Also
Bruce Hill
2025-02-20
Support arbitrary argument constructors
Bruce Hill
2024-09-18
Remove dead code
Bruce Hill
2024-09-08
Fix nearly every GCC warning and add __attribute__((pure/const)) where
Bruce Hill
2024-09-06
Support 'when' statements as expressions
Bruce Hill
2024-05-14
Support corecursive structs
Bruce Hill
2024-04-23
Support struct literals as constants
Bruce Hill
2024-03-29
Switch naming convention to use '$' in symbols more
Bruce Hill
2024-03-18
More file comments
Bruce Hill
2024-03-03
Initial pass at namespacing
Bruce Hill
2024-02-29
First working method calls
Bruce Hill
2024-02-29
Add type namespaces
Bruce Hill
2024-02-25
WIP on stackrefs
Bruce Hill
2024-02-24
Fixing up structs
Bruce Hill
2024-02-22
Fix function compiling
Bruce Hill
2024-02-17
Change things up to use type params for all array and table methods
Bruce Hill
2024-02-17
Add typechecking logic
Bruce Hill