5 Commits (21292b4bb7cf14273ed2bad7ab9a7a312affe7fe)

Autor SHA1 Nachricht Datum
  Tobias Waldekranz.com 0a62b4e3d5 working on new type system vor 8 Jahren
  Tobias Waldekranz.com 01d681fcf9 function verifier done, started on rewrites vor 8 Jahren
  Tobias Waldekranz.com 1843f91d53 rename base types, start on validation vor 8 Jahren
  Tobias Waldekranz.com a721c3bd2b drink the LISP koolaid vor 8 Jahren
  Tobias Waldekranz.com f2acf454e5 get rid of tid vor 8 Jahren