|
Is there any Redex implementation of a very minimal dependently typed Lambda Calculus core? Something like Elaboration-Zoo-02
|
|
1
|
130
|
June 8, 2024
|
|
Suggestions on refactoring codes using Typed Racket
|
|
11
|
289
|
June 8, 2024
|
|
Identifiers with dashes and the infix package
|
|
6
|
140
|
June 7, 2024
|
|
Difference between Racket and Typed Racket with macro literals
|
|
5
|
178
|
June 4, 2024
|
|
Typeless typed Racket
|
|
1
|
138
|
June 2, 2024
|
|
Naming convention for structs
|
|
14
|
255
|
May 31, 2024
|
|
Collect safe foreign procedure in another OS thread
|
|
3
|
249
|
May 30, 2024
|
|
Typed Racket + Org-mode + Org tables and lists
|
|
4
|
584
|
May 29, 2024
|
|
Writing functions and reading them again
|
|
2
|
146
|
May 28, 2024
|
|
How to remove a menu bar from a frame?
|
|
9
|
178
|
May 25, 2024
|
|
Support on design of a simulator: multiple contexts with same variables
|
|
6
|
218
|
May 25, 2024
|
|
Virtual hash table
|
|
19
|
435
|
May 21, 2024
|
|
My package socks5 wasn't built and I don't know why
|
|
3
|
160
|
May 19, 2024
|
|
How to get last inserted row id in SQLite3?
|
|
4
|
453
|
May 17, 2024
|
|
Surprising identifier binding ambiguity error with nested splicing-local (possible bug)
|
|
1
|
123
|
May 14, 2024
|
|
Alarm-evt performance difference between windows 10 and ubuntu 23.04
|
|
2
|
151
|
May 11, 2024
|
|
Constructor style pretty printing
|
|
4
|
185
|
May 9, 2024
|
|
Using pdf-read package to extract text from pdf file
|
|
25
|
659
|
May 8, 2024
|
|
Self-documented Racket source code
|
|
12
|
554
|
May 8, 2024
|
|
Parser combinator in Typed Racket: how to define the type constructor for the parser?
|
|
1
|
129
|
May 7, 2024
|
|
Choosing good names
|
|
4
|
218
|
May 6, 2024
|
|
Performance comparison between (append (reverse a) b)) and (foldl cons b a))
|
|
7
|
208
|
May 6, 2024
|
|
How to install the "drracket-cmdline-args" (and other) plugin?
|
|
2
|
143
|
April 29, 2024
|
|
Efficiently updating nested data structures in Racket
|
|
12
|
357
|
April 27, 2024
|
|
How to evaluate code with function definitions in scribble
|
|
2
|
115
|
April 27, 2024
|
|
Why isn't my macro hygienic?
|
|
8
|
196
|
April 24, 2024
|
|
Turn-based games in typed Racket
|
|
1
|
126
|
April 23, 2024
|
|
Is this expected output for call-with-composable-continuation?
|
|
2
|
130
|
April 22, 2024
|
|
Transitive thread suspension for pausing computations made up of nested threads
|
|
7
|
186
|
April 20, 2024
|
|
Navigation through (top-level) definitions in DrRacket
|
|
4
|
204
|
April 16, 2024
|