Racket (@racketlang) 's Twitter Profile
Racket

@racketlang

Official Twitter account for the Racket programming language. Please ask questions at racket.discourse.group or discord.gg/6Zq8sH5

ID: 133238209

linkhttp://racket-lang.org/ calendar_today15-04-2010 10:37:56

10,10K Tweet

7,7K Followers

71 Following

Racket (@racketlang) 's Twitter Profile Photo
Racket
@racketlang

3 years ago

ICYMI: Sebastian Ullrich (KIT) at #RacketCon Metaprograms and Proofs: Macros in Lean 4 youtu.be/n1Pd0GeHsAY Sebastian Ullrich Lean #leanprover #metaprogramming #macros