Hi everyone,
Unfortunately, it looks like the password on my account
(d...@hashcollision.org) on pkgd.racket-lang.org got compromised recently,
so I'm trying to figure out how to reset it now.
I don't see an option to do so except in the Login page. When I try to do
so, I ask it to "Email me
For the curious/eager, I've submitted a PR with my initial implementation
redesigned along the lines of the discussion here:
https://github.com/racket/racket/pull/3670
--
William J. Bowman
On Sat, Oct 31, 2020 at 06:14:10PM -0400, Ben Greenman wrote:
> On 10/31/20, jackh...@gmail.com wrote:
>
Den tor. 21. jan. 2021 kl. 05.06 skrev Stuart Hungerford <
stuart.hungerf...@gmail.com>:
> My project is really aimed at supporting self-directed learning of
> concepts from abstract algebra.
>
I was taught many years ago that to really understand something to try
> implementing it in a high level
Is this what you have in mind?
#lang racket
(require redex/reduction-semantics)
(define-language L
(ts ::= variable number))
(define-judgment-form L
#:mode (subsequence I I)
#:contract (subsequence (ts ...) (ts ...))
[--
(subsequence (ts_1
Hi !
I have a reduction relation where I have to match a pattern *ts* to two
sequences, where the first one contains the other one. What I tried to do
was something like this:
1st seq: (*ts_all1 ... ts ts_all2 ...*) 2nd seq: (*ts_x1 ... ts
ts_x2 ...*), where *ts_x* *⊆ **ts_all*.
But the
I think the main problem is that `make-evaluator` is a function, which
means that it doesn't know what module it's called in. So, relative
paths like 'sub or (submod "." 'sub) don't work.
You could use `quote-module-path` from `syntax/location` like this:
#lang racket
(require racket/sandbox
Hi Racketeers,
Is there any way to have Racket code using `define-generics` interact with
typed Racket code? (I think the answer is "no", but I thought I'd check
for sure).
Thanks,
Stu
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To uns
7 matches
Mail list logo