Get the latest tech news

Smolts: A pedagogical IDE for a teaching language

Fri 4 Sep 2026 08:37 CEST https://smol.leastfixedpoint.com/ Two years ago, I built an IDE for a teaching language based on Shriram Krishnamurthi et al.’s work on teaching SMoL, the “Standard Model of Languages”, as part of PLAI. The project was directly inspired by the marvellous work of Kuang-Chen Lu and Shriram in developing Stacker.

None

Get the Android app