Brendan Zabarauskas on Twitter: "@phil_eaton prepare for a super fun time with type directed editing and pushing around typed holes (wish more languages supported this style of programming)" / Twitter

was surprised to see what looks like Haskell ooph I was getting Agda mixed up with Ada github.com/Roblox/luau/pu

Quote Tweet

I am a professional Agda developer again! github.com/Roblox/luau/tr

2

1

agda is coool

1

Replying to

and

prepare for a super fun time with type directed editing and pushing around typed holes (wish more languages supported this style of programming)

Conversation