Post #1782095
2026-04-26 21:12 UTC
@screwlisp Another interesting point to look at the Mine editor is that is is built in Coalton (and even a part of the Coalton repository):
https://github.com/coalton-lang/coalton/tree/main/mine
Replies (1)
-
@screwlisp@gamerplus.org 2026-04-26 21:14
@svetlyak40wt When you look at it, please do a video exhibiting using coalton's static type system integration to the ide. If you don't mind, inside the next sunday-morning-in-europe lispy gopher climate I could play your video of such.