suzanne.soy/trivial
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[scribblings] de-bold the title, for Leif <3

Browse Source
This commit is contained in:
ben 2015-12-16 03:26:47 -05:00
parent b57d3c1b68
commit e91b79481e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scribblings/trivial.scrbl
View File

@ -3,7 +3,7 @@
@require[scribble/eval]
@require[scriblib/footnote]
@title[#:tag "top"]{@bold{Trivial: Solving the easiest type-checking problems}}
@title[#:tag "top"]{Trivial: Solving the easiest type-checking problems}
@author[@hyperlink["https://github.com/bennn"]{Ben Greenman}]
@defmodule[trivial]