CIRCLE WITH A DOT

Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.

Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).

S

svetlyak40wt@fosstodon.org

@svetlyak40wt@fosstodon.org

0

Posts

Recent Best Controversial

I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine.

S svetlyak40wt@fosstodon.org

@screwlisp @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt
This new editor is looking very interesting. Especially it's built-in code critique feature. Will try it this week.

Uncategorized ide commonlisp typetheory statictyping coalton