D

dyon

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 20 hours ago. based on code collected about 24 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 02, 2023 — May 02, 2024 Showing page 8 of 49 Search / Filter on:
Moved refine call to its own module	Sven Nilsen	More...				over 4 years ago
Added `Dfn::ext`	Sven Nilsen	More...				over 4 years ago
Report error if refinement failed without ambiguity	Sven Nilsen	More...				over 4 years ago
Use `-a` as `neg(a)`	Sven Nilsen	More...				over 4 years ago
Added `neg` to "lib.dyon"	Sven Nilsen	More...				over 4 years ago
Added `neg` as standard external function	Sven Nilsen	More...				over 4 years ago
Added `not` to "lib.dyon"	Sven Nilsen	More...				over 4 years ago
Rewrite `!a` as `not(a)` in type checker	Sven Nilsen	More...				over 4 years ago
Write `not(a)` as `!a`	Sven Nilsen	More...				over 4 years ago
Convert `!a` into `not(a)`	Sven Nilsen	More...				over 4 years ago
Added `not` as standard external function	Sven Nilsen	More...				over 4 years ago
Make closure calls work with ad-hoc types	Sven Nilsen	More...				over 4 years ago
Check return type of extra type information	Sven Nilsen	More...				over 4 years ago
Added ambiguity check for `in`	Sven Nilsen	More...				over 4 years ago
Added ambiguity check for `thr`	Sven Nilsen	More...				over 4 years ago
Added "norm" to "lib.dyon"	Sven Nilsen	More...				over 4 years ago
Check that extra type information arguments work with function arguments	Sven Nilsen	More...				over 4 years ago
Report error on wrong number of arguments in extra type information	Sven Nilsen	More...				over 4 years ago
Report error if function has extra type information without returning something	Sven Nilsen	More...				over 4 years ago
Do not allow "sec" as ad-hoc type	Sven Nilsen	More...				over 4 years ago
Added ambiguity check for `res`	Sven Nilsen	More...				over 4 years ago
Added ambiguity check for `opt`	Sven Nilsen	More...				over 4 years ago
Make `link` ambiguous with `any`	Sven Nilsen	More...				over 4 years ago
Make `vec4` ambiguous with `any`	Sven Nilsen	More...				over 4 years ago
Make `mat4` ambiguous with `any`	Sven Nilsen	More...				over 4 years ago
Make `str` ambiguous with `any`	Sven Nilsen	More...				over 4 years ago
Make `bool` ambiguous with `any`	Sven Nilsen	More...				over 4 years ago
Make `f64` ambiguous with `any`	Sven Nilsen	More...				over 4 years ago
Make `std` namespace for standard external functions	Sven Nilsen	More...				over 4 years ago
Delay premature error	Sven Nilsen	More...				over 4 years ago

←
1
2
3
4
5
6
7
8
9
10
11
12
…
48
49
→