Skip to content
Snippets Groups Projects
  • Viktor Kuncak's avatar
    c5a78243
    doc: Leon documentation · c5a78243
    Viktor Kuncak authored
    * tutorial: worked out max example before sorting
    * limitations: clarified stack overflows
    * Removed empty descriptions of library.
      We should decide what data type descriptions go into Pure Scala
      and what goes into a library description.
    c5a78243
    History
    doc: Leon documentation
    Viktor Kuncak authored
    * tutorial: worked out max example before sorting
    * limitations: clarified stack overflows
    * Removed empty descriptions of library.
      We should decide what data type descriptions go into Pure Scala
      and what goes into a library description.