search

david-lindner / safe-grid-gym

A gym interface for AI safety gridworlds created in pycolab.
Apache License 2.0
17 stars 9 forks source link

Merge toys #8

Closed timorl closed 5 years ago

timorl commented 5 years ago

As per #7. Should be done after #5.

Annoyingly, I use some font file which is GNU licensed. I feel only confusion towards licenses, so if any of you know how to do this properly (or what font to use instead) that'd be nice. Before that is resolved this PR probably shouldn't be merged.

alok commented 5 years ago

DejaVu Sans Mono is a good choice as it's monospace, covers a lot of the Unicode range, and is in the public domain, so no GNashing our teeth over licensing (I couldn't think of a better pun).

david-lindner commented 5 years ago

Changed the font in #14

jvmncs commented 5 years ago

Closed by #14 :)