Tag: type-theory

All the articles with the tag "type-theory".

• Moving Beyond Type Systems

  Published:May 31, 2024 |  at 12:00 AM

  Is another programming revolution possible?

• About Link Integrity

  Published:Feb 6, 2024 |  at 06:05 PM

  How type theory can solve a very annoying note-taking problem...

• Type Systems in Note Taking Apps

  Published:Feb 6, 2024 |  at 06:00 PM

  Type systems in notes - stupid, or a stroke of genius?