continue…

Related to Things We Never Told Anyone About Functional Programming
A Language Server for your DSL for Fun and Profit
A Language Server for your DSL for Fun and Profit
41 min
Against the (formal) method?
Against the (formal) method?
46 min
Correct by Construction Concurrent Programs in Idris 2
Correct by Construction Concurrent Programs in Idris 2
44 min