|
New draft (#2) of SRFI 273: Extensions to Data (Type-)Checking
Arthur A. Gleckler
(04 Jun 2026 04:18 UTC)
|
|
Re: questions for `derive-check`
Peter McGoron
(04 Jun 2026 13:05 UTC)
|
|
Make derive-check procedure-oriented and not expression-oriented
Artyom Bologov
(08 Jun 2026 21:27 UTC)
|
|
Re: Make derive-check procedure-oriented and not expression-oriented
Peter McGoron
(14 Jun 2026 02:16 UTC)
|
|
Re: Make derive-check procedure-oriented and not expression-oriented
Artyom Bologov
(14 Jun 2026 21:46 UTC)
|
|
Re: Make derive-check procedure-oriented and not expression-oriented
Peter McGoron
(24 Jun 2026 15:09 UTC)
|
|
Re: Make derive-check procedure-oriented and not expression-oriented
Artyom Bologov
(24 Jun 2026 20:02 UTC)
|
|
Add *-checked-inferred API?
Artyom Bologov
(17 Jun 2026 19:04 UTC)
|
|
New draft (#3) of SRFI 273: Extensions to Data (Type-)Checking
Arthur A. Gleckler
(20 Jun 2026 06:04 UTC)
|
