doc: tn13: add mapping capability to types
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 2 Jun 2017 09:38:01 +0000 (11:38 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 2 Jun 2017 11:57:47 +0000 (13:57 +0200)
commit27255401b3dcbc8fbcca82382bf2c025780de433
tree3aa2f5916e95e6f1484856429056e5b43fda83f8
parent2a55468db9d6e03ebd9b7b84ecc31e90364b40db
doc: tn13: add mapping capability to types

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
doc/013-capability-mgmt/type_system.tex