Skip to content

Instantly share code, notes, and snippets.

@travisbrown

travisbrown/dependent_type_question.scala

Forked from johnynek/dependent_type_question.scala
Last active August 29, 2015 14:11
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save travisbrown/cdd878f7739ab34ce079 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save travisbrown/cdd878f7739ab34ce079 to your computer and use it in GitHub Desktop.
Download ZIP

Forks

Be the first to fork this gist.

Learn more about forking Gists