Discussions

• 1 You must be logged in to vote

  💡

  Language design review of old languages (like awk, sed, tcl, ...).

  xieyuheng started Sep 9, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Use JSON and simple js/ts to teach NbE and bidi and elab (mini-cicada with only Type, Pi and Sigma).

  xieyuheng started Sep 9, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  📣

  Welcome to cicada-seminar-2022 Discussions!

  xieyuheng announced Sep 9, 2022 in Announcements

  

  

  0