4 ms·

How one can type that ℕ and ℤ on the regular keyboard?..

• m_j_g 8y ago
  in atom plugin for agda you just typing \bn or \bz , full reference here: https://people.inf.elte.hu/divip/AgdaTutorial/Symbols.html#blackboard-bold-letters https://people.inf.elte.hu/divip/AgdaTutorial/Symbols.html#b...
  • deleted 8y ago
    [deleted]
• michaelsbradley 8y ago
  for Emacs users see: https://agda.readthedocs.io/en/latest/tools/emacs-mode.html https://agda.readthedocs.io/en/latest/tools/emacs-mode.html